From 0a3beb72f27f6fcf75ab3fe67f2cb0b1c00924b7 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Tue, 22 Jan 2019 18:22:54 +0100
Subject: [PATCH] Some improvements to the ppa release script.

---
 scripts/release_ppa.sh | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh
index 6cba7dffa..353b5efa9 100755
--- a/scripts/release_ppa.sh
+++ b/scripts/release_ppa.sh
@@ -53,7 +53,14 @@ packagename=solc
 
 static_build_distribution=cosmic
 
-for distribution in bionic cosmic STATIC
+DISTRIBUTIONS="bionic cosmic"
+
+if [ branch != develop ]
+then
+    DISTRIBUTIONS="$DISTRIBUTIONS STATIC"
+fi
+
+for distribution in $DISTRIBUTIONS
 do
 cd /tmp/
 rm -rf $distribution
@@ -96,7 +103,7 @@ commitdate=$(git show --format=%ci HEAD | head -n 1 | cut - -b1-10 | sed -e 's/-
 echo "$commithash" > commit_hash.txt
 if [ $branch = develop ]
 then
-    debversion="$version-develop-$commitdate-$commithash"
+    debversion="$version~develop-$commitdate-$commithash"
 else
     debversion="$version"
     echo -n > prerelease.txt # proper release