From da25488ad194f1c4fcf837d814bd1975665dcaa1 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 27 Feb 2013 14:05:24 -0400 Subject: [PATCH] temporarily remove DNS flag for Android --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 626e0f1242..387fb45a07 100644 --- a/Makefile +++ b/Makefile @@ -163,7 +163,7 @@ osxapp: # Cross compile for Android. # Uses https://github.com/neurocyte/ghc-android android: - $$HOME/.ghc/android-14/arm-linux-androideabi-4.7/arm-linux-androideabi/bin/cabal configure -f'Android Assistant DNS' + $$HOME/.ghc/android-14/arm-linux-androideabi-4.7/arm-linux-androideabi/bin/cabal configure -f'Android Assistant' $(MAKE) git-annex androidapp: