diff --git a/version b/version new file mode 100644 index 000000000..613e58713 --- /dev/null +++ b/version @@ -0,0 +1 @@ +3.14.1594 diff --git a/version.sh b/version.sh new file mode 100755 index 000000000..c0814604a --- /dev/null +++ b/version.sh @@ -0,0 +1,11 @@ +#!/bin/bash + +set -e +trap 'echo "[ERROR] Error in line $LINENO when executing: $BASH_COMMAND"' ERR + +VERSION="3.14.$(( $(cat version | cut -d'.' -f3) + 1 ))" +echo "$VERSION" > version +git add version + +git commit -m "incrementing version: $VERSION" +git push