[project @ 2000-04-26 15:35:25 by simonmar]

we were adding the include path twice, for some bizarre reason.

diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index 5d42b0c..a6ff27c 100644 (file)
--- a/ghc/driver/ghc.lprl
+++ b/ghc/driver/ghc.lprl
@@ -1144,7 +1144,6 @@ sub setupIncPaths {
       push (@Include_dir, "$TopPwd/${CURRENT_DIR}/${GHC_INCLUDE_DIR}");
   } else {
       push (@Include_dir, "$InstLibDirGhc/includes");
-      push (@Include_dir, "$InstLibDirGhc/includes");
   }
 } # end of setupIncPaths
 \end{code}