Use a more compact +RTS -s output for Tasks

[ghc-hetmet.git] / ghc.mk

diff --git a/ghc.mk b/ghc.mk
index 690850d..5961ae3 100644 (file)
--- a/ghc.mk
+++ b/ghc.mk
@@ -45,7 +45,6 @@
 #     * libraries/Makefile
 #     * rts/dotnet/Makefile
 #     * utils/Makefile
-#   * docbook PDFs, e.g. "dblatex -T db2latex users_guide.xml"
 #   * GhcProfiled
 #   * optionally install stage3?
 #   * shared libraries, way dyn
@@ -895,3 +894,6 @@ maintainer-clean : distclean
        $(RM) libraries/process/include/HsProcessConfig.h.in
        $(RM) libraries/unix/include/HsUnixConfig.h.in
        $(RM) libraries/old-time/include/HsTimeConfig.h.in
+
+.PHONY: all_libraries
+