projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7039565) | patch
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)
commit91ec283be630784daace217cce51da23b424d910
treeb1e30dc795cb34c9adc676da3d12d8f11d35d6aftree | snapshot
parent70395659db9f662e61009d984fc9b0b2f24fdececommit | diff
if hdiutil create never succeeds, fail the build

Build was succeeding despite the dmg never being created.
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.