diff --git a/tools/Makefile b/tools/Makefile index 8ead015a5..5ce8ee0e3 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -1,4 +1,4 @@ -FLAGS ?= -O2 -g +FLAGS ?= -Ofast -g SRCDIR ?= .. COMMON_FLAGS = $(FLAGS) -D_GNU_SOURCE -I$(SRCDIR)/src/ MKDIR_P = mkdir -p