# HG changeset patch # User Mike Pavone # Date 1546227632 28800 # Node ID 774096402918aebcb12be0d898bdc3cd4eb582ff # Parent 804f13c090b4573808e49ffe308c2f2895a0766c Allow optimization flag overrides in Makefile diff -r 804f13c090b4 -r 774096402918 Makefile --- a/Makefile Sun Dec 30 18:48:08 2018 -0800 +++ b/Makefile Sun Dec 30 19:40:32 2018 -0800 @@ -69,6 +69,7 @@ endif #PORTABLE endif #Windows +ifndef OPT ifdef DEBUG OPT:=-g3 -O0 else @@ -78,6 +79,7 @@ OPT:=-O2 -flto endif #NOLTO endif #DEBUG +endif #OPT CFLAGS:=$(OPT) $(CFLAGS) LDFLAGS:=$(OPT) $(LDFLAGS)