Commit b894f020 authored by SantiM's avatar SantiM Committed by Ben Gamari
Browse files

Remove redundant flag (-O) registration (fixes #13392)

Reviewers: austin, bgamari, dfeuer

Reviewed By: bgamari, dfeuer

Subscribers: rwbarton, thomie

GHC Trac Issues: #13392

Differential Revision:
parent 5a210032
......@@ -3141,7 +3141,6 @@ dynamic_flags_deps = [
, make_ord_flag defGhcFlag "ffrontend-opt" (hasArg addFrontendPluginOption)
------ Optimisation flags ------------------------------------------
, make_ord_flag defGhcFlag "O" (noArgM (setOptLevel 1))
, make_dep_flag defGhcFlag "Onot" (noArgM $ setOptLevel 0 )
"Use -O0 instead"
, make_ord_flag defGhcFlag "Odph" (noArgM setDPHOpt)
include $(TOP)/mk/
include $(TOP)/mk/
'$(TEST_HC)' $(TEST_HC_OPTS) --show-options | sort | uniq -d
# Test for #13392, it makes sure 'ghc --show-options' does not print each flag more than once.
test('T13392', normal, run_command, ['$MAKE -s --no-print-directory T13392'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment