From 30076c0461c8eebac844635493867fe0f218a4bc Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Wed, 27 Feb 2013 02:29:20 -0400
Subject: [PATCH] clean up old imports

---
 ghci | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 ghci

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//') $@