config: Rename clock option to Ruby clock
authorAkash Bagdia <akash.bagdia@arm.com>
Thu, 27 Jun 2013 09:49:49 +0000 (05:49 -0400)
committerAkash Bagdia <akash.bagdia@arm.com>
Thu, 27 Jun 2013 09:49:49 +0000 (05:49 -0400)
commit597d2aa3a661587268e3d79cf4726212329fb4af
tree6497e3bda726c4e5c9734dc46a3df23a2806ad34
parent076d04a653f5a4252c6c16e010ad0d7bf36c1674
config: Rename clock option to Ruby clock

This patch changes the 'clock' option to 'ruby-clock' as it is only
used by Ruby.
configs/common/Options.py
configs/ruby/Ruby.py