diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -233,11 +233,13 @@ echo "# Generated by configure." echo "# Run this file to recreate the current configuration." echo echo 'if [ x"$1" = x"--reconfigure" ]; then' -echo $echon " exec $progname"$echoc +# Do not use exec as bash 3.2 pass the absolute path in argv[0] +echo $echon " $progname"$echoc for opt do echo $echon \ \"$opt\"$echoc done echo +echo " exit" echo 'fi' echo echo subst_vars=\"$subst_vars\" |