diff options
Diffstat (limited to 'configure1.in')
| -rwxr-xr-x | configure1.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure1.in b/configure1.in index 141e3f67fc0..feb108a6cd1 100755 --- a/configure1.in +++ b/configure1.in @@ -228,7 +228,7 @@ Set it to either \`yes' or \`no'." inst_paths='#disabled# ' ;; - ## Has the user specifiec an installation prefix? + ## Has the user specified an installation prefix? "prefix" ) ## If the value was omitted, get it from the next argument. if [ "${valomitted}" = "yes" ]; then @@ -245,7 +245,7 @@ Set it to either \`yes' or \`no'." prefix="${val}" ;; - ## Has the user specifiec an installation prefix? + ## Has the user specified an installation prefix? "exec_prefix" ) ## If the value was omitted, get it from the next argument. if [ "${valomitted}" = "yes" ]; then |