We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1600d1e commit a206842Copy full SHA for a206842
1 file changed
wscript
@@ -66,9 +66,12 @@ def add_zcm_configure_options(ctx):
66
choices=['true', 'false'],
67
help='Include the zcmtype name in the hash generation')
68
69
+ # RRR (Jakob H.): Shouldn't this default to false so that the previous default behavior
70
+ # is preserved?
71
gr.add_option('--monotonic-clock', dest='monotonic_clock', default='true',
72
- help='Use a monotonic clock source for all utimes internally')
73
+ help='Instead of using the system clock, use a clock source that is guaranteed '
74
+ 'to be monotonic for all utimes internally')
75
76
add_use_option('dev', 'Enable all dev tools')
77
add_use_option('build-cache', 'Enable the build cache for faster rebuilds')
0 commit comments