Sistema l'errore da me commesso in fase di conversione...

[bertos.git] / rules.mk

diff --git a/rules.mk b/rules.mk
old mode 100755 (executable)
new mode 100644 (file)
index 990fc39..41d1e1c
--- a/rules.mk
+++ b/rules.mk
@@ -24,6 +24,12 @@ Q := @
 L := @echo
 endif
 
+# Checker build
+ifeq ($(C),1)
+CC = $(CHECKER)
+CFLAGS += -Wundef -D__x86_64__=1 -D__unix__=1 -D__linux__=1 -D__STDC_VERSION__=199901L
+endif
+
 # Initialize $(top_srcdir) with current directory, unless it was already initialized
 top_srcdir ?= $(shell pwd)