From: rrt <unknown>
Date: Tue, 18 Jul 2000 15:55:19 +0000 (+0000)
Subject: [project @ 2000-07-18 15:55:19 by rrt]
X-Git-Tag: Approximately_9120_patches~3977
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=d61a5d36d7448625394aaa256c22cfed1fb1c1e6;hp=4a86718c4247e39bd60645480479abaa59ebacf7;p=ghc-hetmet.git

[project @ 2000-07-18 15:55:19 by rrt]
Move dlls to $(DLL_PEN) after generation.
---

diff --git a/mk/paths.mk b/mk/paths.mk
index 2f7d9df..95ff92c 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
+