diff options
| author | Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com> | 2021-07-27 03:09:30 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-27 03:09:30 (GMT) |
| commit | d61b69f02d441ae517109a4428f2a18416c9ff0f (patch) | |
| tree | 80ef8940e221c8c47e058bd8c219c90f14299e70 /.github | |
| parent | 6fa4060b86a116dc4fb69356795faf6ff1cdde58 (diff) | |
| download | cpython-d61b69f02d441ae517109a4428f2a18416c9ff0f.zip cpython-d61b69f02d441ae517109a4428f2a18416c9ff0f.tar.gz cpython-d61b69f02d441ae517109a4428f2a18416c9ff0f.tar.bz2 | |
Add windows build.bat counterpart for 'make regen-all' in error message (GH-26770)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1140c86..3d79999 100644 --- 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 |