2012-10-17 23:04:43 -04: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.
|
2012-10-18 00:29:15 -04:00
|
|
|
ghci $(make getflags | sed 's/-Wall//') $@
|