Don't put the mingw directory in RTS's package.conf

diff --git a/rts/package.conf.in b/rts/package.conf.in
index bae12f8..1b274c9 100644 (file)
--- a/rts/package.conf.in
+++ b/rts/package.conf.in
@@ -61,9 +61,6 @@ extra-libraries:              "m"             /* for ldexp() */
 
 #ifdef INSTALLING
 include-dirs:          INCLUDE_DIR GMP_INCLUDE_DIRS PAPI_INCLUDE_DIR
-# ifdef mingw32_HOST_OS
-                       , INCLUDE_DIR"/mingw"
-# endif
 #else /* !INSTALLING */
 include-dirs:          FPTOOLS_TOP_ABS"/includes"
                        FPTOOLS_TOP_ABS"/rts"