From 91ec283be630784daace217cce51da23b424d910 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 30 Dec 2019 13:06:43 -0400 Subject: [PATCH] if hdiutil create never succeeds, fail the build Build was succeeding despite the dmg never being created. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 58b3f586cf..965f53e1fc 100644 --- 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.