cleanup WITH_GLOB
This commit is contained in:
parent
d868d47b00
commit
ce2b4832d7
2 changed files with 2 additions and 3 deletions
4
Makefile
4
Makefile
|
@ -6,7 +6,7 @@ BASEFLAGS=-Wall -outputdir $(GIT_ANNEX_TMP_BUILD_DIR) -IUtility
|
|||
# you can turn off some of these features.
|
||||
#
|
||||
# If you're using an old version of yesod, enable -DWITH_OLD_YESOD
|
||||
FEATURES?=$(GIT_ANNEX_LOCAL_FEATURES) -DWITH_ASSISTANT -DWITH_S3 -DWITH_WEBDAV -DWITH_WEBAPP -DWITH_PAIRING -DWITH_XMPP -DWITH_DNS -DWITH_GLOB
|
||||
FEATURES?=$(GIT_ANNEX_LOCAL_FEATURES) -DWITH_ASSISTANT -DWITH_S3 -DWITH_WEBDAV -DWITH_WEBAPP -DWITH_PAIRING -DWITH_XMPP -DWITH_DNS
|
||||
|
||||
bins=git-annex
|
||||
mans=git-annex.1 git-annex-shell.1
|
||||
|
@ -234,7 +234,7 @@ android:
|
|||
OS=Android $(MAKE) Build/SysConfig.hs
|
||||
GHC=$$HOME/.ghc/android-14/arm-linux-androideabi-4.7/bin/arm-unknown-linux-androideabi-ghc \
|
||||
CC=$$HOME/.ghc/android-14/arm-linux-androideabi-4.7/bin/arm-linux-androideabi-gcc \
|
||||
FEATURES="-DWITH_ANDROID -DWITH_ASSISTANT -DWITH_GLOB -DWITH_DNS" \
|
||||
FEATURES="-DWITH_ANDROID -DWITH_ASSISTANT -DWITH_DNS" \
|
||||
OS=Android $(MAKE) fast
|
||||
|
||||
ANDROIDAPP_DEST=$(GIT_ANNEX_TMP_BUILD_DIR)/git-annex.android
|
||||
|
|
|
@ -132,7 +132,6 @@ Test-Suite test
|
|||
C-Sources: Utility/libdiskfree.c
|
||||
Extensions: CPP
|
||||
GHC-Options: -threaded
|
||||
CPP-Options: -DWITH_GLOB
|
||||
|
||||
source-repository head
|
||||
type: git
|
||||
|
|
Loading…
Reference in a new issue