Back out changes to non-source files

2023-01-21 21:23:24 +01:00
parent 9ebe24e680
commit ab3446faed
21 changed files with 151 additions and 147 deletions
@@ -1,10 +1,10 @@
 #!/usr/bin/env bash

-set -e
+set -e 

 echo "This script is only for developers who are publishing new builds on github.  Most users don't need it"

-VERSION=$(bin/buildinfo.py long)
+VERSION=`bin/buildinfo.py long`

 # Must have a V prefix to trigger github
 git tag "v${VERSION}"