diff options
author | yenatch <yenatch@gmail.com> | 2017-09-24 15:08:44 -0400 |
---|---|---|
committer | yenatch <yenatch@gmail.com> | 2017-09-24 15:08:44 -0400 |
commit | 543d67b647f7edc458d6748d9a80d1399ed95be8 (patch) | |
tree | 083d6cadbb59db256f5db10e5765d85885ca6f6a | |
parent | aa19af3822448a2ca36edfa5133a687b86012b65 (diff) |
Build tools with -O3.
This improves build time by about 20%.
-rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index a4f691074..36c643d41 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -1,7 +1,7 @@ .PHONY: all clean CC := gcc -CFLAGS := -std=c99 -Wall -Wextra +CFLAGS := -O3 -std=c99 -Wall -Wextra tools := \ lzcomp \ |