diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-05-20 05:10:43 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-05-20 05:10:43 +0200 |
| commit | 7302cdd4bd7329a1e0999cab2e53954a5129d280 (patch) | |
| tree | 2368318f67b5a21e00e3ec91e4533eaeec3adc80 /configure | |
| parent | 897f45fad9bae1c636b3ccf55d43eec0d99771ea (diff) | |
| download | ghdl-7302cdd4bd7329a1e0999cab2e53954a5129d280.tar.gz ghdl-7302cdd4bd7329a1e0999cab2e53954a5129d280.tar.bz2 ghdl-7302cdd4bd7329a1e0999cab2e53954a5129d280.zip | |
configure: add --reconfigure to config.status
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -228,12 +228,13 @@ echo "#! /bin/sh" echo "# Generated by configure." echo "# Run this file to recreate the current configuration." echo -echo "# Generated by:" -echo $echon "# $progname"$echoc +echo 'if [ x"$1" = x"--reconfigure" ]; then' +echo $echon " exec $progname"$echoc for opt do echo $echon \ \"$opt\"$echoc done echo +echo 'fi' echo echo subst_vars=\"$subst_vars\" for v in $subst_vars; do |