From 8b2d884465c21e0f91aaec1658fe93fb885653f2 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 2 May 2013 11:18:01 -0400 Subject: don't fail android build if there are no splices --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ec0891504..4800d72a9 100644 --- a/Makefile +++ b/Makefile @@ -173,7 +173,7 @@ android: Build/EvilSplicer # only if the existing source file is not newer. (So, if a file # used to have TH splices but they were removed, it will be newer, # and not overwritten.) - cp -uR tmp/splices/* tmp/androidtree + cp -uR tmp/splices/* tmp/androidtree || true # Some additional dependencies needed by the expanded splices. sed -i 's/^ Build-Depends: / Build-Depends: yesod-routes, yesod-core, shakespeare-css, shakespeare-js, shakespeare, blaze-markup, file-embed, wai-app-static, /' tmp/androidtree/git-annex.cabal # Avoid warnings due to sometimes unused imports added for the splices. -- cgit v1.2.3