projects
/
git-annex.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7039565
)
if hdiutil create never succeeds, fail the build
author
Joey Hess
<joeyh@joeyh.name>
Mon, 30 Dec 2019 17:06:43 +0000
(13:06 -0400)
committer
Joey 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
patch
|
blob
|
history
diff --git
a/Makefile
b/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.