| Submitter | Paolo Bonzini |
|---|---|
| Date | Oct. 21, 2010, 8:18 a.m. |
| Message ID | <1287649120-30740-2-git-send-email-pbonzini@redhat.com> |
| Download | mbox | patch |
| Permalink | /patch/68536/ |
| State | New |
| Headers | show |
Comments
Patch
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(-)