diff options
author | rubo77 <github@r.z11.de> | 2018-11-26 12:42:58 +0100 |
---|---|---|
committer | rubo77 <github@r.z11.de> | 2018-11-26 12:42:58 +0100 |
commit | 3fd8a0af547091795e9a0ebb8fe532c65d1e15fb (patch) | |
tree | ecad0bfd24547faddc8bc077c5ab4351cedb4109 | |
parent | f5a01e4154f86dc4f526deed27589d92998369db (diff) |
prepare 2018.1.3
-rwxr-xr-x | make-release.sh | 2 | ||||
-rw-r--r-- | release | 2 | ||||
-rw-r--r-- | site.mk | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/make-release.sh b/make-release.sh index 9c1c1b5..f89da40 100755 --- a/make-release.sh +++ b/make-release.sh @@ -15,7 +15,7 @@ set -u set -e # if version is unset, will use the default nightly version from site.mk -VERSION=${3:-"2018.1.1~multi$(date '+%y%m%d%H%M')"} +VERSION=${3:-"2018.1.3~multi$(date '+%y%m%d%H%M')"} # branch must be set to either rc, nightly or stable BRANCH=${2:-"stable"} # must point to valid ecdsa signing key created by ecdsakeygen, relative to Gluon base directory @@ -1 +1 @@ -2018.1.1~multi +2018.1.3~multi @@ -3,7 +3,7 @@ # Always call `make` from the command line with the desired release version! # otherwise this is generated: #DEFAULT_GLUON_RELEASE := 2018.1 -DEFAULT_GLUON_RELEASE := 2018.1.1~multi$(shell date '+%y%m%d') +DEFAULT_GLUON_RELEASE := 2018.1.3~multi$(shell date '+%y%m%d') # Allow overriding the release number from the command line GLUON_RELEASE ?= $(DEFAULT_GLUON_RELEASE) |