diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-02-29 11:43:22 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-02-29 11:43:22 -0400 |
| commit | fc6f459bd08befff5ccfb09575e41f3e02d5c361 (patch) | |
| tree | 70469bbf6cd7e2c99e1979652a581c2327b1e11f | |
| parent | f952731957b15f9876089b44d77cd0026a663a8e (diff) | |
fix android build
| -rw-r--r-- | Git/Env.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Git/Env.hs b/Git/Env.hs index 0173513a7..b0070e9a1 100644 --- a/Git/Env.hs +++ b/Git/Env.hs @@ -12,6 +12,9 @@ module Git.Env where import Git import Git.Types import Utility.Env +#ifdef __ANDROID__ +import Common +#endif {- Adjusts the gitEnv of a Repo. Copies the system environment if the repo - does not have any gitEnv yet. -} |