From 6d9c6d26a0da3073a16a3f959c7fea931044389e Mon Sep 17 00:00:00 2001
From: Ian Lynagh <ian@well-typed.com>
Date: Tue, 28 May 2013 20:31:11 +0100
Subject: [PATCH] Build system: Remove unused DLL_PEN

---
 mk/ghc-paths.mk | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/mk/ghc-paths.mk b/mk/ghc-paths.mk
index 8a4789c4..9b33dd73 100644
--- a/mk/ghc-paths.mk
+++ b/mk/ghc-paths.mk
@@ -259,10 +259,3 @@ MOSTLY_CLEAN_FILES += \
  tags TAGS *.ind *.ilg *.idx *.idx-prev *.aux *.aux-prev *.dvi *.log \
  *.toc *.lot *.lof *.blg *.cb *_stub.c *_stub.h *.raw_s *.a.list
 
-#------------------------------------------------------------------
-
-# Directory in which DLLs are dumped so as not to get picked up by running
-# programs (e.g. ghc or hsc) that run in the build tree
-
-DLL_PEN = $(FPTOOLS_TOP)/dll
-