diff options
| -rw-r--r-- | Makefile.linux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.linux b/Makefile.linux index 2705903c..b5e4ccec 100644 --- a/Makefile.linux +++ b/Makefile.linux @@ -6,7 +6,7 @@ ARCH=$(shell uname -m) DEFS=-DZT_ARCH="$(ARCH)" -DZT_OSNAME="linux" -DZT_TRACE # Uncomment for a release optimized build -CFLAGS=-Wall -O6 -fno-unroll-loops -pthread $(INCLUDES) -DNDEBUG $(DEFS) +CFLAGS=-Wall -O3 -fno-unroll-loops -pthread $(INCLUDES) -DNDEBUG $(DEFS) STRIP=strip --strip-all # Uncomment for a debug build |