diff options
author | David Bremner <david@tethera.net> | 2020-11-08 10:00:57 -0400 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2020-11-08 10:00:57 -0400 |
commit | 8e721f12ba2d03cabc299a75827b5282720204ba (patch) | |
tree | a0707265f3a06885a175381712de12991d65da99 /devel | |
parent | 0e6d2876b8675d5f3271d616a1e73c23e312a56f (diff) |
release: update release-checks.sh for s/version/version.txt/
Another place missed by the rename.
Diffstat (limited to 'devel')
-rwxr-xr-x | devel/release-checks.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/release-checks.sh b/devel/release-checks.sh index cfa208d5..f9dd6ade 100755 --- a/devel/release-checks.sh +++ b/devel/release-checks.sh @@ -29,7 +29,7 @@ append_emsg () emsgs="${emsgs:+$emsgs\n} $1" } -for f in ./version debian/changelog NEWS "$PV_FILE" +for f in ./version.txt debian/changelog NEWS "$PV_FILE" do if [ ! -f "$f" ]; then append_emsg "File '$f' is missing" elif [ ! -r "$f" ]; then append_emsg "File '$f' is unreadable" @@ -53,7 +53,7 @@ then else echo "Reading './version' file failed (surprisingly!)" exit 1 -fi < ./version +fi < ./version.txt readonly VERSION |