summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2015-04-01 19:30:16 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2015-04-01 19:30:31 +0200
commit43351ff0905a098c382487c502ccad53783ba9ee (patch)
treecf1977f950d522a8412889fb709f05346686eb93 /validate
parent3749c05216339df60e1ffbb28c8b957ad5020b00 (diff)
downloadhaskell-43351ff0905a098c382487c502ccad53783ba9ee.tar.gz
Filter out `-Rghc-timing` for V=0 builds (#10223)
Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D783
Diffstat (limited to 'validate')
-rwxr-xr-xvalidate1
1 files changed, 0 insertions, 1 deletions
diff --git a/validate b/validate
index 109d5214be..95d3af5eae 100755
--- a/validate
+++ b/validate
@@ -172,7 +172,6 @@ echo "ValidateHpc=$hpc" >> mk/are-validating.mk
if [ $be_quiet -eq 1 ]; then
echo "V=0" >> mk/are-validating.mk # Less gunk
- echo "GhcHcOpts=" >> mk/are-validating.mk # Remove -Rghc-timing
fi
if [ $use_dph -eq 1 ]; then