diff --git a/makedist.sh b/makedist.sh index 45addb33d..c2e2f82ca 100755 --- a/makedist.sh +++ b/makedist.sh @@ -93,7 +93,7 @@ cleanup () { error_cleanup () { echo "$0: error: $1" >&2 - ##cleanup + cleanup exit 1 }