From: "Dr. David Alan Gilbert" <dgilb...@redhat.com> This allows you to do: ./config.status --the-option-you-forgot
Signed-off-by: Dr. David Alan Gilbert <dgilb...@redhat.com> --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 44ac9ab..9a9e978 100755 --- a/configure +++ b/configure @@ -5954,7 +5954,7 @@ cat <<EOD >config.status EOD printf "exec" >>config.status printf " '%s'" "$0" "$@" >>config.status -echo >>config.status +echo ' "$@"' >>config.status chmod +x config.status rm -r "$TMPDIR1" -- 2.5.0