Review Board 2.0.15


config: Rename clock option to Ruby clock

Review Request #1882 - Created May 23, 2013 and submitted - Latest diff uploaded

Information
Andreas Hansson
gem5
default
Reviewers
Default
Changeset 9772:36a1cc9d5a7f
---------------------------
config: Rename clock option to Ruby clock

This patch changes the 'clock' option to 'ruby-clock' as it is only
used by Ruby.
All regressions pass