Build: fix makefile to work with new script path

diff --git a/GNUmakefile b/GNUmakefile
index 9922d28527803cdd2f3fe77590dd1db5000e3992..6b5f2418125147911c10ecfbf330f014696c78f4 100644 (file)
--- 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 da76c3cc1822925bbda5e9b5cf34e4cb472a8701..e2677737adf44e50edae31945fdae329948bf0d3 100755 (executable)
--- 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..."