Update packaging script for Ubuntu

2016-02-19 14:26:10 +01:00
parent e103918050
commit 354f679d72
1 changed files with 1 additions and 1 deletions
--- a/packaging/make_ubuntu.sh
+++ b/packaging/make_ubuntu.sh
@@ -1,6 +1,6 @@
 #!/bin/bash

-set -e
+set -x

 rm -rf tint2* 2>/dev/null || true