Fix error message of "Check if Autoconf files are up to date" job (#126683)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f63c4606220494fab99a4e50ab3d9dc862328c51..b769bba72816d68f3968b91a8582ef453eb46fdf 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -76,7 +76,7 @@ jobs:
           # Check for changes in regenerated files
           if test -n "$changes"; then
             echo "Generated files not up to date."
-            echo "Perhaps you forgot to run make regen-all or build.bat --regen. ;)"
+            echo "Perhaps you forgot to run make regen-configure ;)"
             echo "configure files must be regenerated with a specific version of autoconf."
             echo "$changes"
             echo ""