X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=rules.mk;h=41d1e1cb9e33d948c5df814735c8f11cff2b0154;hb=5f3952176a4e9a00ca8dd5ec4a6b994958f89e0a;hp=990fc39d25c4d1453872986cd6c70d9c5a39bef1;hpb=8f410de98a38da826788f2b5a2c5581b2231041b;p=bertos.git

diff --git a/rules.mk b/rules.mk
old mode 100755
new mode 100644
index 990fc39d..41d1e1cb
--- 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)