From 590fd490750e84c62d8669cb2db6885e26cc17cd Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Wed, 17 Oct 2012 23:04:43 -0400
Subject: workaround for ghci fragility in reusing objects compiled with ghc

---
 ghci | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 ghci

(limited to 'ghci')

diff --git a/ghci b/ghci
new file mode 100755
index 000000000..57361281c
--- /dev/null
+++ b/ghci
@@ -0,0 +1,5 @@
+#!/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) $@
-- 
cgit v1.2.3