Merge pull request #1566 from cewert/fix-version-check-job

This commit is contained in:
Charles Ewert 2023-12-08 18:23:34 -05:00 committed by GitHub
commit c9cf7007e4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -51,7 +51,7 @@ jobs:
if: env.oldManVersion == env.newManVersion if: env.oldManVersion == env.newManVersion
run: exit 1 run: exit 1
- name: Save new Makefile version - name: Save new Makefile version
run: awk 'BEGIN { FS=" = " } /^VERSION/ { print "newMakeVersion="$2; }' Makefile >> $GITHUB_ENV run: awk 'BEGIN { FS=" := " } /^VERSION/ { print "newMakeVersion="$2; }' Makefile >> $GITHUB_ENV
- name: Makefile version must be updated - name: Makefile version must be updated
if: env.oldMakeVersion == env.newMakeVersion if: env.oldMakeVersion == env.newMakeVersion
run: exit 1 run: exit 1