diff options
| -rwxr-xr-x | configure1.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure1.in b/configure1.in index 8256b2dbbec..4d64bcfab6a 100755 --- a/configure1.in +++ b/configure1.in | |||
| @@ -212,7 +212,7 @@ Set it to either \`yes' or \`no'." | |||
| 212 | #echo "${progname}: the \`--${optname}' option is supposed to have a value | 212 | #echo "${progname}: the \`--${optname}' option is supposed to have a value |
| 213 | #which is \`yes', \`no', \`lucid', \`athena', \`motif' or \`open-look'." | 213 | #which is \`yes', \`no', \`lucid', \`athena', \`motif' or \`open-look'." |
| 214 | echo "${progname}: the \`--${optname}' option is supposed to have a value | 214 | echo "${progname}: the \`--${optname}' option is supposed to have a value |
| 215 | which is \`yes', \`no', \`lucid', or \`athena'. | 215 | which is \`yes', \`no', \`lucid', or \`athena'." |
| 216 | echo "${short_usage}") >&2 | 216 | echo "${short_usage}") >&2 |
| 217 | exit 1 | 217 | exit 1 |
| 218 | ;; | 218 | ;; |