[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 (file)
--- 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
+