diff --git a/ghci b/ghci deleted file mode 100755 index d25519e3cb..0000000000 --- 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//') $@