diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-11-06 16:23:53 -0500 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-11-06 16:23:53 -0500 |
| commit | 847e487eeffbe1acdbd7b89739118a30b2147db6 (patch) | |
| tree | 18c0dd44b6ea85f428ec0bd1357328887697a4ca | |
| parent | 13d4d533f7c5904391309e72f4b7937210b1c476 (diff) | |
'make tools' uses -pedantic
| -rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 13bab1fb..a9906fad 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -1,7 +1,7 @@ .PHONY: all clean CC := gcc -CFLAGS := -O3 -std=c99 -Wall -Wextra +CFLAGS := -O3 -std=c99 -Wall -Wextra -pedantic tools := scan_includes gfx pkmncompress |