Review Board 2.0.15


config: Rename clock option to Ruby clock

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

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
Review request changed
Updated (June 27, 2013, 2:13 a.m.)

Status: Closed (submitted)