diff options
| -rwxr-xr-x | Configure | 2 | ||||
| -rw-r--r-- | configure.com | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1835,7 +1835,7 @@ Usage: $me [-dehrsEKOSV] [-f config.sh] [-D symbol] [-D symbol=value] -s : silent mode, only echoes questions and essential information. -D : define symbol to have some value: -D symbol symbol gets the value 'define' - -D symbol='some value' symbol gets the 'some value' + -D symbol='some value' symbol is set to 'some value' common used examples (see INSTALL for more info): -Duse64bitint use 64bit integers -Duse64bitall use 64bit integers and pointers diff --git a/configure.com b/configure.com index 158e27a122..df2958201e 100644 --- a/configure.com +++ b/configure.com @@ -342,7 +342,7 @@ $ DECK "-s" : silent mode, only echoes questions and essential information. -"D" : define symbol to have some value: * -"Dsymbol" symbol gets the value 'define' - -"Dsymbol=some value" symbol gets the value "some value" + -"Dsymbol=some value" symbol is set to "some value" -E : stop at the end of questions, after having produced config.sh. * -K : do not use unless you know what you are doing. -O : let -D and -U override definitions from loaded configuration file. * |