diff --git a/packaging/make_ubuntu.sh b/packaging/make_ubuntu.sh index 40b9c5f..ab9e016 100755 --- 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"