From c25e51572f7fa61b720cd1fcfb9f8ddaf0adc917 Mon Sep 17 00:00:00 2001
From: Andrew Cady <d@jerkface.net>
Date: Sun, 4 Oct 2015 16:28:03 +0200
Subject: fixed ghc/ghci/runghc on $PATH

---
 dot/local/bin/ghc | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 dot/local/bin/ghc

(limited to 'dot/local/bin/ghc')

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 @@
-#!/bin/sh
-prog=${0##*/}
-case "$prog" in
-    ghc|runghc|ghci) exec stack --no-system-ghc $prog;;
-esac
-echo "Not a stack command: $prog" >&2
-exit -1
-- 
cgit v1.2.3