From d61a5d36d7448625394aaa256c22cfed1fb1c1e6 Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Tue, 18 Jul 2000 15:55:19 +0000
Subject: [PATCH] [project @ 2000-07-18 15:55:19 by rrt] Move dlls to
 $(DLL_PEN) after generation.

---
 mk/paths.mk | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/mk/paths.mk b/mk/paths.mk
index 2f7d9dfd1fab..95ff92c387e3 100644
--- a/mk/paths.mk
+++ b/mk/paths.mk
@@ -212,3 +212,8 @@ SRC_DIST_NAME=$(ProjectNameShort)-$(ProjectVersion)
 #
 
 
+# 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
+
-- 
GitLab