diff --git a/GNUmakefile b/GNUmakefile index 9922d28527..6b5f241812 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -133,7 +133,7 @@ ifdef CONFIG endif default: - $(MAKE) `./build-support/factor.sh make-target` + $(MAKE) `./build.sh make-target` help: @echo "Run '$(MAKE)' with one of the following parameters:" diff --git a/build.sh b/build.sh index da76c3cc18..e2677737ad 100755 --- a/build.sh +++ b/build.sh @@ -484,7 +484,7 @@ git_fetch_factorcode() { invoke_git fetch "$GIT_URL" master if update_script_changed; then - $ECHO "Updating and restarting the factor.sh script..." + $ECHO "Updating and restarting the build.sh script..." update_script else $ECHO "Updating the working tree..."