diff options
author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-05-17 18:05:28 +0200 |
---|---|---|
committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-05-17 18:06:05 +0200 |
commit | 931b3c74fe7cb772be6abc483f1811c7db552a2e (patch) | |
tree | be34cb08f5691c1cf91201c0aed4122b5f5db087 | |
parent | c92cfbce82e69a785951616e5918a90f221bb7a1 (diff) | |
download | haskell-931b3c74fe7cb772be6abc483f1811c7db552a2e.tar.gz |
Delete libraries/ghci/GNUmakefile [skip ci]
This file should not have been included in the repository, as it is
generated by `./boot`.
-rw-r--r-- | libraries/ghci/GNUmakefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/libraries/ghci/GNUmakefile b/libraries/ghci/GNUmakefile deleted file mode 100644 index ce6a24f19b..0000000000 --- a/libraries/ghci/GNUmakefile +++ /dev/null @@ -1,4 +0,0 @@ -dir = libraries/ghci -TOP = ../.. -include $(TOP)/mk/sub-makefile.mk -FAST_MAKE_OPTS += stage=0 |