diff options
Diffstat (limited to 'validate')
| -rw-r--r-- | validate | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -11,8 +11,9 @@ if [ -f mk/build.mk ]; then fi # The default is a "quick" build -echo BuildFlavour=quick >mk/build.mk -cat mk/build.mk.sample >>mk/build.mk +echo BuildFlavour=quick > mk/build.mk +echo HADDOCK_DOCS=YES >> mk/build.mk +cat mk/build.mk.sample >> mk/build.mk # You can override the default validate settings using mk/validate.mk # e.g. you could add GhcLibWays=p to test profiling. |