diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |