diff options
| author | Andrew Cady <d@jerkface.net> | 2015-10-04 16:28:03 +0200 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2015-10-04 16:28:03 +0200 |
| commit | c25e51572f7fa61b720cd1fcfb9f8ddaf0adc917 (patch) | |
| tree | d9e021048b052f2d4e6292db6edf9e75bda4d2df /dot/local/bin/ghc | |
| parent | 2ea5eb5415341de3e5b0a92ffb9779207e2bfdaf (diff) | |
fixed ghc/ghci/runghc on $PATH
Diffstat (limited to 'dot/local/bin/ghc')
| -rwxr-xr-x | dot/local/bin/ghc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/dot/local/bin/ghc b/dot/local/bin/ghc deleted file mode 100755 index 36c3656..0000000 --- a/dot/local/bin/ghc +++ /dev/null | |||
| @@ -1,7 +0,0 @@ | |||
| 1 | #!/bin/sh | ||
| 2 | prog=${0##*/} | ||
| 3 | case "$prog" in | ||
| 4 | ghc|runghc|ghci) exec stack --no-system-ghc $prog;; | ||
| 5 | esac | ||
| 6 | echo "Not a stack command: $prog" >&2 | ||
| 7 | exit -1 | ||