diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2022-07-16 23:12:12 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2022-07-16 23:12:12 +0200 |
| commit | 87b4e2b3585a9579d4e93d84a94992c5cec6e322 (patch) | |
| tree | 27566324862a68d484e891bd391eba26bcce8335 /ghc-shim.sh | |
| parent | 200440e8a437d1313e245d3728db6b69c4b03fb3 (diff) | |
Diffstat (limited to 'ghc-shim.sh')
| -rwxr-xr-x | ghc-shim.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ghc-shim.sh b/ghc-shim.sh index 6885dc7..8f6a12d 100755 --- a/ghc-shim.sh +++ b/ghc-shim.sh @@ -1,6 +1,7 @@ #!/usr/bin/env bash +thisdir="$(dirname "$0")" if [[ $# = 1 && $1 = --print-global-package-db ]]; then - echo /data/data/com.termux/files/home/ghc-boot-pkgdb + echo "$thisdir"/ghc-boot-pkgdb else #echo >/dev/tty "!! ghc $*" ghc "$@" |