aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6ac5145..27c1fb4 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,11 @@
CC=gcc
-GENERAL-FLAGS=-Wall -Wextra -Werror -Wswitch-enum -std=c11
+
+FVERBOSE=0
+GENERAL-FLAGS=-Wall -Wextra -Werror -Wswitch-enum -std=c11 -D VERBOSE=$(FVERBOSE)
DEBUG-FLAGS=-ggdb -fsanitize=address
RELEASE-FLAGS=-O3
CFLAGS=$(GENERAL-FLAGS) $(DEBUG-FLAGS)
+
LIBS=
ARGS=
OUT=ovm.out