diff options
Diffstat (limited to 'ghc/includes/Jmakefile')
| -rw-r--r-- | ghc/includes/Jmakefile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/ghc/includes/Jmakefile b/ghc/includes/Jmakefile index 40eb8f4db7..74ab648339 100644 --- a/ghc/includes/Jmakefile +++ b/ghc/includes/Jmakefile @@ -1,5 +1,6 @@ LH_FILES = \ -rtsTypes.lh /* runtime system */ \ +RtsTypes.lh /* runtime system */ \ +RtsFlags.lh \ \ SMinterface.lh /* storage-management related */ \ SMClosures.lh \ @@ -19,13 +20,11 @@ COptWraps.lh \ \ GhcConstants.lh \ \ -RednCounts.lh /* "ticky-ticky" profiling */ \ +Ticky.lh /* "ticky-ticky" profiling */ \ \ Info.lh /* Info pointer definitions */ \ \ CostCentre.lh /* for cost centre profiling */ \ -AgeProfile.lh /* age stuff for heap and lifetime profiling */ \ -Force_GC.lh /* for forcing GC */ \ \ GranSim.lh \ Parallel.lh /* for PAR build */ \ |