From c2121ec425c806ea423916af41d5f371e3acaf50 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 12 Jan 2012 13:55:42 +0000 Subject: TOP/includes/dist doesn't exist (yet?) and makes ghcpkg05 fail, so remove it --- rts/package.conf.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'rts') diff --git a/rts/package.conf.in b/rts/package.conf.in index f2d1d8491d..130130227d 100644 --- a/rts/package.conf.in +++ b/rts/package.conf.in @@ -51,7 +51,7 @@ extra-libraries: #ifdef INSTALLING include-dirs: INCLUDE_DIR PAPI_INCLUDE_DIR #else /* !INSTALLING */ -include-dirs: TOP"/rts/dist/build" TOP"/includes" TOP"/includes/dist" TOP"/includes/dist-ghcconstants/header" TOP"/includes/dist-derivedconstants/header" +include-dirs: TOP"/rts/dist/build" TOP"/includes" TOP"/includes/dist-ghcconstants/header" TOP"/includes/dist-derivedconstants/header" #endif includes: Stg.h -- cgit v1.2.1