diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index 2e2e504e106..2de357dcf99 100644 --- a/Makefile.in +++ b/Makefile.in @@ -56151,8 +56151,8 @@ do-clean: clean-stagetrain -.PHONY: profiledbootstrap profiledbootstrap-lean -profiledbootstrap: +.PHONY: profiledbootstrap3 profiledbootstrap3-lean +profiledbootstrap3: echo stagetrain > stage_final @r=`${PWD_COMMAND}`; export r; \ s=`cd $(srcdir); ${PWD_COMMAND}`; export s; \ @@ -56163,7 +56163,7 @@ profiledbootstrap: TFLAGS="$(STAGEtrain_TFLAGS)"; \ $(MAKE) $(TARGET_FLAGS_TO_PASS) all-host all-target -profiledbootstrap-lean: +profiledbootstrap3-lean: echo stagetrain > stage_final @r=`${PWD_COMMAND}`; export r; \ s=`cd $(srcdir); ${PWD_COMMAND}`; export s; \ |