diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 9694dc8be..c298552a0 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -35,6 +35,7 @@ config-status := $(wildcard ./config.status) BOOTSTRAP_SHELL ?= /bin/sh export BOOTSTRAP_SHELL +unexport CDPATH # Allow the user (or more likely the developer) to ask for a bootstrap # of the package. @@ -82,7 +83,7 @@ bootstrap: ifdef other-targets $(other-targets): restart .PHONY: $(other-targets) restart -restart: bootstrap; $(MAKE) $(AM_MAKEFLAGS) $(other-targets) +restart: bootstrap; $(MAKE) $(other-targets) endif endif # ! bootstrap in $(MAKECMDGOALS) |