| Message ID | 1287649120-30740-2-git-send-email-pbonzini@redhat.com |
|---|---|
| State | New |
| Headers | show |
diff --git a/configure b/configure index d303061..d076447 100755 --- a/configure +++ b/configure @@ -2333,6 +2333,7 @@ printf "# Configured with:" >> $config_host_mak printf " '%s'" "$0" "$@" >> $config_host_mak echo >> $config_host_mak +echo all: >> $config_host_mak echo "prefix=$prefix" >> $config_host_mak echo "bindir=$bindir" >> $config_host_mak echo "mandir=$mandir" >> $config_host_mak
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> --- configure | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)