Update packaging script for Ubuntu

2016-02-19 14:22:41 +01:00
parent 4ab996e796
commit f18345ede6
1 changed files with 3 additions and 0 deletions
--- a/packaging/make_ubuntu.sh
+++ b/packaging/make_ubuntu.sh
@@ -1,7 +1,10 @@
 #!/bin/bash

+set -e
 set -x

+rm -rf tint2* 2>/dev/null || true
+
 if [ ! -z "$1" ]
 then
    MINOR="$1"