Commit 9812ada2 authored by batterseapower's avatar batterseapower

Change how default supercompliation options are setup

parent 5d0863d4
......@@ -59,9 +59,7 @@ endif
# All the standard gluing together, as in the comment right at the front
ifeq "$(SRC_SUPERCOMP_HC_OPTS" ""
SRC_SUPERCOMP_HC_OPTS = -fsupercompiler-bound-steps
endif
HC_OPTS = $(BOOTSTRAPPING_PACKAGE_CONF_HC_OPTS) $(SRC_HC_OPTS) $(WAY$(_way)_HC_OPTS) $($*_HC_OPTS) $(EXTRA_HC_OPTS)
ifeq "$(HC_VERSION_GE_6_13)" "YES"
......
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