diff options
author | Joey Hess <joey@kitenet.net> | 2013-02-27 02:39:22 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-02-27 02:39:22 -0400 |
commit | a06989c1aeaf6463e554131993c5cb395d3f08bd (patch) | |
tree | a180b379cce80e8d4fa94cd4a15b5052316fddec /Utility/Shell.hs | |
parent | 8ba6b0d9bc54656eb0d8d45adf94561f6350e792 (diff) |
Makefile now builds using cabal, taking advantage of cabal's automatic detection of appropriate build flags.
The only thing lost is ./ghci
Speed: make fast used to take 20 seconds here, when rebuilding from
touching Command/Unused.hs. With cabal, it's 29 seconds.
Diffstat (limited to 'Utility/Shell.hs')
-rw-r--r-- | Utility/Shell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Utility/Shell.hs b/Utility/Shell.hs index fecafe1a8..f3858af7f 100644 --- a/Utility/Shell.hs +++ b/Utility/Shell.hs @@ -10,7 +10,7 @@ module Utility.Shell where shellPath :: FilePath -#ifndef WITH_ANDROID +#ifndef __ANDROID__ shellPath = "/bin/sh" #else shellPath = "/system/bin/sh" |