diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-07-06 15:09:56 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-07-06 15:09:56 -0400 |
commit | 4e5d8d7458e2fbb5bafe6c8b552d9a91a6a07751 (patch) | |
tree | 8d14345bc6cacc4a8e8caff4abc578eb73252468 /BuildFlags.hs | |
parent | 569b5ff748f1bc1a9c46482a34fa4b1e1e481df5 (diff) |
Remove the EKG build flag, since Gentoo for some reason decided to enable this flag, depsite it not being intended for production use and so enabled by default.
Diffstat (limited to 'BuildFlags.hs')
-rw-r--r-- | BuildFlags.hs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/BuildFlags.hs b/BuildFlags.hs index 769e8f3bc..3a737589f 100644 --- a/BuildFlags.hs +++ b/BuildFlags.hs @@ -79,10 +79,6 @@ buildFlags = filter (not . null) #ifdef WITH_MAGICMIME , "MagicMime" #endif -#ifdef WITH_EKG -#warning Building with EKG. This build of git-annex should only be used for performance debugging, not for production use.. - , "EKG" -#endif -- Always enabled now, but users may be used to seeing these flags -- listed. , "Feeds" |