Use "develop" for debian version name.

This commit is contained in:
chriseth 2016-09-17 18:37:47 +02:00
parent 10c0953d0c
commit 0f08c1366b

View File

@ -59,7 +59,7 @@ commitdate=`git show --format=%ci HEAD | head -n 1 | cut - -b1-10 | sed -e 's/-0
echo "$commithash" > commit_hash.txt echo "$commithash" > commit_hash.txt
if [ $branch = develop ] if [ $branch = develop ]
then then
debversion="$version-nightly-$commitdate-$commithash" debversion="$version-develop-$commitdate-$commithash"
else else
debversion="$version" debversion="$version"
echo -n > prerelease.txt # proper release echo -n > prerelease.txt # proper release