diff options
author | DizzyEggg <jajkodizzy@wp.pl> | 2018-08-12 12:11:35 +0200 |
---|---|---|
committer | DizzyEggg <jajkodizzy@wp.pl> | 2018-08-12 12:11:35 +0200 |
commit | 957dcd01b382fb74e9b1967851ef3cfb6ca983eb (patch) | |
tree | 5eb81cbb67be2303952d85da2ca5f9b2ec61c044 /tools/bin2c | |
parent | e787d5b60230550a4a8f1f3251b90e141bfcc5ff (diff) | |
parent | 40cf61307b411ea4de858902c7081fde8ef71ea5 (diff) |
merge with master
Diffstat (limited to 'tools/bin2c')
-rw-r--r-- | tools/bin2c/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/bin2c/Makefile b/tools/bin2c/Makefile index 4cc23a25a..73f78980e 100644 --- a/tools/bin2c/Makefile +++ b/tools/bin2c/Makefile @@ -1,6 +1,6 @@ CC = gcc -CFLAGS = -Wall -Wextra -Werror -std=c11 -O2 -s +CFLAGS = -Wall -Wextra -Werror -std=c11 -O2 .PHONY: clean |