WAF: add a warning to the --high-precision-as-double option help text saying they it works in configure.

2007-06-21 12:33:50 +01:00
parent ffa52a935a
commit 7c1e148ffa
1 changed files with 3 additions and 1 deletions
--- a/src/simulator/wscript
+++ b/src/simulator/wscript
@@ -7,7 +7,9 @@ import Params
 def set_options(opt):
    opt.add_option('--high-precision-as-double',
                   help=('Whether to use a double floating point'
-                         ' type for high precision time values'),
+                         ' type for high precision time values'
+                         ' WARNING: this option only has effect '
+                         'with the configure command.'),
                   action="store_true", default=False,
                   dest='high_precision_as_double')