diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2020-05-08 06:26:54 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2020-05-08 06:26:54 -0700 |
| commit | abb437833d9718ac047554423714e3965fa0d19b (patch) | |
| tree | 63fdb83f29bee0d9349a9cb71ef220557a4ece2c /configure | |
| parent | b4fd90ddf5aa2019548997d8fc99c1e7e3c10fa6 (diff) | |
| download | txr-abb437833d9718ac047554423714e3965fa0d19b.tar.gz txr-abb437833d9718ac047554423714e3965fa0d19b.tar.bz2 txr-abb437833d9718ac047554423714e3965fa0d19b.zip | |
configure: --help doesn't clober ./reconfigure
* configure: move the section of the script which
produces ./reconfigure after the help processing.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 31 |
1 files changed, 16 insertions, 15 deletions
@@ -110,21 +110,6 @@ for arg in "$0" ${@+"$@"} ; do done # -# Tentatively save configuration in config.log -# -cat > reconfigure <<! -#!/bin/sh -# -# Configured on $(date) using: - -$cmdline - -# The above did not complete. -! - -chmod a+x reconfigure - -# # Establish default values for any variables that are not specified # on the command line. The default derivations from prefix are in # Make syntax. They go verbatim into the generated config.make. @@ -531,6 +516,22 @@ small-mem [$small_mem] fi # +# Tentatively save configuration in config.log +# +cat > reconfigure <<! +#!/bin/sh +# +# Configured on $(date) using: + +$cmdline + +# The above did not complete. +! + +chmod a+x reconfigure + + +# # Variables are read, --help wasn't given, so let's configure! # |