summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJoey Hess2014-04-01 01:12:05 -0400
committerJoey Hess2014-04-01 01:12:05 -0400
commit90f86b8b2bb7f0a3c834387827c9ec2e1876f342 (patch)
tree10e74b0a52f4987c6f7e9cf2abf756275e0cefae /Makefile
parentd53729495efe7174239deab3b5dd71204543b0d0 (diff)
not quite working docker container interface
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 14956fde..2ba41b2b 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ run: build
dev: build tags
build: deps dist/setup-config
- cabal build || (cabal configure; cabal build)
+ if ! cabal build; then cabal configure; cabal build; fi
ln -sf dist/build/propellor/propellor
deps: