if hdiutil create never succeeds, fail the build
authorJoey Hess <joeyh@joeyh.name>
Mon, 30 Dec 2019 17:06:43 +0000 (13:06 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 30 Dec 2019 17:06:43 +0000 (13:06 -0400)
Build was succeeding despite the dmg never being created.

Makefile

index 58b3f586cf82319ff6ed4c4b829594214a3094ba..965f53e1fc4a8f6d69041eabaccd759268f6490f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -253,7 +253,7 @@ osxapp:
                                sleep 60; \
                        fi \
                fi \
-       done
+       done; if [ $$ok = 0 ]; then exit 1; fi
 
 # Bypass cabal, and only run the main ghc --make command for a
 # faster development build.