diff options
-rw-r--r-- | mk/build.mk.sample | 4 | ||||
-rw-r--r-- | mk/config.mk.in | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/mk/build.mk.sample b/mk/build.mk.sample index 9a4026be48..6ac5c56b5d 100644 --- a/mk/build.mk.sample +++ b/mk/build.mk.sample @@ -33,6 +33,10 @@ GhcLibWays = v DYNAMIC_BY_DEFAULT = NO +# Uncomment this to get prettier build output. +# Please use V = 1 when reporting GHC bugs. +# V = 0 + # -------- 1. A Performance/Distribution build-------------------------------- ifeq "$(BuildFlavour)" "perf" diff --git a/mk/config.mk.in b/mk/config.mk.in index debfb165d5..366d511608 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -27,6 +27,9 @@ TOP = @hardtop@ include $(TOP)/mk/project.mk +# By default, be verbose +V = 1 + ################################################################################ # # Global configuration options |