mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

fix use of wrong shebang when android is installing git-annex-shell wrapper on server

Browse source
This commit is contained in:
Joey Hess 2013-05-06 15:58:13 -04:00
parent 2a7d573280
commit 749c197947
5 changed files with 15 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

16
Utility/Shell.hs
View file

@ -9,12 +9,18 @@
module Utility.Shell where
shellPath :: FilePath
shellPath_portable :: FilePath
shellPath_portable = "/bin/sh"
shellPath_local :: FilePath
#ifndef __ANDROID__
shellPath = "/bin/sh"
shellPath_local = shellPath_portable
#else
shellPath = "/system/bin/sh"
shellPath_local = "/system/bin/sh"
#endif
shebang :: String
shebang = "#!" ++ shellPath
shebang_portable :: String
shebang_portable = "#!" ++ shellPath_portable
shebang_local :: String
shebang_local = "#!" ++ shellPath_local