diff options
author | bonzini <> | 2005-07-24 12:52:54 +0000 |
---|---|---|
committer | bonzini <> | 2005-07-24 12:52:54 +0000 |
commit | 4d32c1117b9210ca087f1c615ebbae46fa2629eb (patch) | |
tree | 887c511ff3ec26d409a80bd0d52305f9f5ea0ce8 /Makefile.in | |
parent | 28f8aa2454369996c118e4c30148ea443dc8d4c4 (diff) |
2005-07-24 Paolo Bonzini <bonzini@gnu.org>
* Makefile.tpl: Wrap install between unstage and stage
* Makefile.in: Regenerate.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 60b6be45eba..3f220086d13 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1990,7 +1990,7 @@ mail-report-with-warnings.log: warning.log # Installation targets. .PHONY: install uninstall -install: installdirs install-host install-target +install: unstage installdirs install-host install-target stage .PHONY: install-host-nogcc install-host-nogcc: \ |