diff --git a/configure b/configure index b88d0dbbf9a4f557727c595afbfbb2b95ea2eebb..2f7600a783c602d04150b25f03ef8fb7e7004676 100755 --- a/configure +++ b/configure @@ -5942,7 +5942,7 @@ cat <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"