summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-04-16 18:34:03 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-04-16 18:34:03 -0400
commit06db3f2e62470a23ffc14a58647ff85deb9e6f23 (patch)
tree5588feb4d9bf6414036eaff68dc025f487e2017d /Makefile
parent0530cd825424a799f6f773eb5f9d11325432be5f (diff)
show part of log on compile error
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 58363b200..4068a03f5 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
- $(CABAL) build --ghc-options=-ddump-splices 2> tmp/dump-splices
+ if ! $(CABAL) build --ghc-options=-ddump-splices 2> tmp/dump-splices; then tail tmp/dump-splices >&2; 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