diff options
Diffstat (limited to 'src/GNUmakefile')
| -rw-r--r-- | src/GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GNUmakefile b/src/GNUmakefile index a88b58b..d575cb4 100644 --- a/src/GNUmakefile +++ b/src/GNUmakefile @@ -119,7 +119,7 @@ PROFILE += -DDUMP_TREE endif endif # EVERYTHING -CFLAGS = -DPROFILE="\"$(PROFILE)\"" $(PROFILE) -Wall +CFLAGS = -DPROFILE="\"$(PROFILE)\"" $(PROFILE) -Wall -Wno-nan-infinity-disabled HEADERS = chess.h compiler.h # |