diff options
Diffstat (limited to 'ghci')
-rwxr-xr-x | ghci | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,4 +2,4 @@ # 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) $@ +ghci $(make getflags | sed 's/-Wall//') $@ |