Add windows build.bat counterpart for 'make regen-all' in error message (GH-26770)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 1140c86dfa665dc6e6f8b19a4cb0f8324eb4b935..3d79999b229ba7840c32af59a9954803084d7184 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -75,7 +75,7 @@ jobs:
           # Check for changes in regenerated files
           if ! test -z "$changes"
           then
-            echo "Generated files not up to date. Perhaps you forgot to run make regen-all ;)"
+            echo "Generated files not up to date. Perhaps you forgot to run make regen-all or build.bat --regen ;)"
             echo "$changes"
             exit 1
           fi