summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-04-16 19:19:53 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-04-16 19:19:53 -0400
commit353ad377b307990b2d9b005a560d140af8488f8b (patch)
treefbbf530c4977a9ffc5dbc50a0cf113297e87477e /Makefile
parent7d166a27352363cf839600b12496ae349589561d (diff)
propigate fail
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 4068a03f5..cc79bb727 100644
--- a/Makefile
+++ b/Makefile
@@ -164,7 +164,7 @@ android: Build/EvilSplicer
echo "Running native build, to get TH splices.."
if [ ! -e dist/setup/setup ]; then $(CABAL) configure -f"-Production" -O0; fi
mkdir -p tmp
- if ! $(CABAL) build --ghc-options=-ddump-splices 2> tmp/dump-splices; then tail tmp/dump-splices >&2; fi
+ if ! $(CABAL) build --ghc-options=-ddump-splices 2> tmp/dump-splices; then tail tmp/dump-splices >&2; exit 1; fi
echo "Setting up Android build tree.."
./Build/EvilSplicer tmp/splices tmp/dump-splices standalone/android/evilsplicer-headers.hs
rsync -az --exclude tmp --exclude dist . tmp/androidtree