From 90f86b8b2bb7f0a3c834387827c9ec2e1876f342 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 1 Apr 2014 01:12:05 -0400 Subject: not quite working docker container interface --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') 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: -- cgit v1.2.3