aboutsummaryrefslogtreecommitdiff
path: root/ghci
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-02-27 02:29:20 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-02-27 02:29:20 -0400
commit96ce8a297c53222b1b7ef783e7cc5f5a6376db3f (patch)
tree811d8ae1e823b558b6c13a693562e9bf7f64d1a0 /ghci
parentc7812b32f27642e15595b40a6e358e74d6aa4a4b (diff)
clean up old imports
Diffstat (limited to 'ghci')
-rwxr-xr-xghci5
1 files changed, 0 insertions, 5 deletions
diff --git a/ghci b/ghci
deleted file mode 100755
index d25519e3c..000000000
--- a/ghci
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# This runs ghci with the same flags used when compiling with ghc.
-# Certian flags need to be the same in order for ghci to reuse compiled
-# objects.
-ghci $(make getflags | sed 's/-Wall//') $@