profiler on steroids. added -profile-only to specify a regex to choose the profilings...

[helm.git] / helm / software / components / extlib / Makefile

diff --git a/helm/software/components/extlib/Makefile b/helm/software/components/extlib/Makefile
index 4e5c9b5a91525b0b809a2e49b1c9ac83e634349f..8caad1fca7d9b7aebff68eac61f26bd1ddbed1c0 100644 (file)
--- a/helm/software/components/extlib/Makefile
+++ b/helm/software/components/extlib/Makefile
@@ -6,8 +6,9 @@ INTERFACE_FILES =               \
         hExtlib.mli            \
        hMarshal.mli            \
        patternMatcher.mli      \
-       hLog.mli \
-       trie.mli \
+       hLog.mli                \
+       trie.mli                \
+       refCounter.mli          \
        $(NULL)
 IMPLEMENTATION_FILES = \
        $(INTERFACE_FILES:%.mli=%.ml)