summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authortslil <tslil@posteo.de>2021-01-14 00:33:42 -0500
committertslil <tslil@posteo.de>2026-08-28 19:37:41 +0100
commit718b116c05ef36215f6c6db79a4013f26a96b985 (patch)
treef4a92a705a1edde7088c07a18393dec4343bf4b5 /Makefile
parentc78258adc03936fff70707ebf1942710a7b59416 (diff)
Trying alpha-beta pruning. There's a bug somewhere ...
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 7819070..1f472ed 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
IDIR=include
TPDIR=3rd-party
-CFLAGS=-Os -Wall -Wextra -std=c99 -D_DEFAULT_SOURCE -I$(IDIR) -I$(TPDIR)
+CFLAGS=-O3 -Wall -Wextra -std=c99 -D_DEFAULT_SOURCE -I$(IDIR) -I$(TPDIR)
LIBS=
SRCS=$(wildcard include/*.c) $(wildcard 3rd-party/*.c)