Update package

2017-04-22 21:11:18 +02:00
parent eca3820e48
commit eddc29a696
1 changed files with 2 additions and 1 deletions
--- a/packaging/make_ubuntu.sh
+++ b/packaging/make_ubuntu.sh
@@ -1,6 +1,5 @@
 #!/bin/bash

-set -e
 set -x

 rm -rf tint2* 2>/dev/null || true
@@ -30,6 +29,8 @@ else
    REPO="tint2-git"
 fi

+set -e
+
 # Export repository contents to source directory
 DIR=tint2-$VERSION
 echo "Making release $DIR"