From: Ian Lynagh <igloo@earth.li>
Date: Sat, 23 Apr 2011 12:43:12 +0000 (+0100)
Subject: Remove unused Makefile.inc
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=1274a99da3f86349d7944a21b0e93123806e1b90;p=ghc-hetmet.git

Remove unused Makefile.inc
---

diff --git a/libraries/Makefile.inc b/libraries/Makefile.inc
deleted file mode 100644
index 0b54f52..0000000
--- a/libraries/Makefile.inc
+++ /dev/null
@@ -1,8 +0,0 @@
-ifeq "" "${MKDIR}"
-MKDIR:=$(shell pwd)
-#MKDIR:=$(PWD)
-else
-MKDIR:=$(patsubst %/$(notdir ${MKDIR}),%, ${MKDIR})
-endif
-include ${MKDIR}/Makefile.inc
-