| Submitter | Stefan Hajnoczi |
|---|---|
| Date | March 8, 2012, 3:37 p.m. |
| Message ID | <1331221041-4710-12-git-send-email-stefanha@linux.vnet.ibm.com> |
| Download | mbox | patch |
| Permalink | /patch/145555/ |
| State | New |
| Headers | show |
Comments
Patch
diff --git a/configure b/configure index ed3d907..66a65d9 100755 --- a/configure +++ b/configure @@ -22,7 +22,9 @@ rm -f config.log # Print a helpful header at the top of config.log echo "# QEMU configure log $(date)" >> config.log -echo "# produced by $0 $*" >> config.log +printf "# Configured with:" >> config.log +printf " '%s'" "$0" "$@" >> config.log +echo >> config.log echo "#" >> config.log compile_object() {