diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-12-19 20:24:37 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-12-19 20:24:37 -0400 |
| commit | 883ecb119abada2dced970295ae4ca5adc5db5cb (patch) | |
| tree | 647bfdcde73d604ad62e3aca62454d772817dbd1 | |
| parent | 29c7e4c431309d844f0fd7615c9cd30cff3cbe77 (diff) | |
fix android build
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -233,7 +233,7 @@ android: Build/EvilSplicer mkdir -p tmp 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 + ./Build/EvilSplicer tmp/splices tmp/dump-splices standalone/no-th/evilsplicer-headers.hs rsync -az --exclude tmp --exclude dist . tmp/androidtree # Copy the files with expanded splices to the source tree, but # only if the existing source file is not newer. (So, if a file |