diff --git a/assign/GNUmakefile.in b/assign/GNUmakefile.in index a935d42abd2be875a61b45af269a2b0fd22d61fe..0b1972aec376220e663db5b33924b3a922f9302b 100644 --- a/assign/GNUmakefile.in +++ b/assign/GNUmakefile.in @@ -41,7 +41,7 @@ OBJS += parse_ptop_xml.o parse_vtop_xml.o parse_policy_xml.o parse_error_handler endif # Pick either this -CXXFLAGS += -O3 +CXXFLAGS += -O3 # or this #CXXFLAGS += -O0 -g -Wall -DVERBOSE # and then zero or more of these