diff options
-rw-r--r-- | mk/tree.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/tree.mk b/mk/tree.mk index fa3d99a18c..d2613b2a41 100644 --- a/mk/tree.mk +++ b/mk/tree.mk @@ -10,7 +10,7 @@ # indicates a directory relative to the top of the source tree. GHC_UTILS_DIR = utils -GHC_INCLUDE_DIRS = rts/include rts/include/dist rts/include/dist-derivedconstants/header rts/include/dist-ghcconstants/header +GHC_INCLUDE_DIRS = rts/include rts/include/dist rts/include/dist-derivedconstants/header GHC_RTS_DIR = rts GHC_DRIVER_DIR = driver |