X-Git-Url: http://git.hcoop.net/bpt/emacs.git/blobdiff_plain/ba3189039adc8ec5eba5ed3e21d42019a4616b7c..a596546c691f256f6176aa0c7a38ebc490ad96a5:/GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
index 22c57f5cb5..b4b33f4dbb 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -55,7 +55,9 @@ else
 # Once 'configure' exists, run it.
 # Finally, run the actual 'make'.
 
-default $(filter-out configure Makefile,$(MAKECMDGOALS)): Makefile
+ORDINARY_GOALS = $(filter-out configure Makefile bootstrap,$(MAKECMDGOALS))
+
+default $(ORDINARY_GOALS): Makefile
 	$(MAKE) -f Makefile $(MAKECMDGOALS)
 # Execute in sequence, so that multiple user goals don't conflict.
 .NOTPARALLEL:
@@ -72,5 +74,11 @@ Makefile: configure
 	./configure
 	@echo >&2 'Makefile built.'
 
+# 'make bootstrap' in a fresh checkout needn't run 'configure' twice.
+bootstrap: Makefile
+	$(MAKE) -f Makefile all
+
+.PHONY: bootstrap default $(ORDINARY_GOALS)
+
 endif
 endif