Message ID | 1458656229-32043-29-git-send-email-pbonzini@redhat.com |
---|---|
State | New |
Headers | show |
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"