Build system: Remove unused DLL_PEN

hferreiro · May 28, 2013 · 6d9c6d2 · 6d9c6d2
1 parent 4a98a31
commit 6d9c6d2
Showing 1 changed file with 0 additions and 7 deletions.
diff --git 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
-