git-annex/ghci

#!/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//') $@
workaround for ghci fragility in reusing objects compiled with ghc 2012-10-18 03:04:43 +00:00			`#!/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.`
avoid -Wall, too noisy 2012-10-18 04:29:15 +00:00			`ghci $(make getflags \| sed 's/-Wall//') $@`