diff options
| -rwxr-xr-x | scripts/release_ppa.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh index 6a30faf5..7231f582 100755 --- a/scripts/release_ppa.sh +++ b/scripts/release_ppa.sh @@ -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 if [ $branch = develop ] then - debversion="$version-nightly-$commitdate-$commithash" + debversion="$version-develop-$commitdate-$commithash" else debversion="$version" echo -n > prerelease.txt # proper release |