if hdiutil create never succeeds, fail the build

Build was succeeding despite the dmg never being created.
This commit is contained in:
Joey Hess 2019-12-30 13:06:43 -04:00
parent 70395659db
commit 91ec283be6
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -253,7 +253,7 @@ osxapp:
sleep 60; \ sleep 60; \
fi \ fi \
fi \ fi \
done done; if [ $$ok = 0 ]; then exit 1; fi
# Bypass cabal, and only run the main ghc --make command for a # Bypass cabal, and only run the main ghc --make command for a
# faster development build. # faster development build.