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> Message-Id: <1452599928-7471-1-git-send-email-dgilb...@redhat.com> Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index b88d0db..2f7600a 100755 --- a/configure +++ b/configure @@ -5942,7 +5942,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
