Admin/lib/Tools/makedist
changeset 50899 506ff6abfde0
parent 50863 8f6046b7f850
child 51073 a25b899a649d
--- a/Admin/lib/Tools/makedist	Mon Jan 14 23:08:40 2013 +0100
+++ b/Admin/lib/Tools/makedist	Tue Jan 15 12:30:23 2013 +0100
@@ -197,6 +197,7 @@
 
 echo "$DISTBASE/$DISTNAME.tar.gz"
 env COPYFILE_DISABLE=true tar -c -z -f "$DISTNAME.tar.gz" "$DISTNAME"
+[ "$?" = 0 ] || exit "$?"
 
 
 # cleanup dist
@@ -213,4 +214,3 @@
 
 rm -rf "${DISTNAME}-old"
 
-echo "DONE"