Build: fix makefile to work with new script path

[factor.git] / build.sh

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..."