diff options
author | Joey Hess <joey@kitenet.net> | 2013-02-27 02:29:20 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-02-27 02:29:20 -0400 |
commit | 96ce8a297c53222b1b7ef783e7cc5f5a6376db3f (patch) | |
tree | 811d8ae1e823b558b6c13a693562e9bf7f64d1a0 | |
parent | c7812b32f27642e15595b40a6e358e74d6aa4a4b (diff) |
clean up old imports
-rwxr-xr-x | ghci | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -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//') $@ |