diff --git a/packaging/make_ubuntu.sh b/packaging/make_ubuntu.sh index db7fd2a..24b35f7 100755 --- 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"