projects
/
bertos.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Set to const col_address; add static assert check on array dimension.
[bertos.git]
/
rules.mk
diff --git
a/rules.mk
b/rules.mk
index 990fc39d25c4d1453872986cd6c70d9c5a39bef1..41d1e1cb9e33d948c5df814735c8f11cff2b0154 100755
(executable)
--- a/
rules.mk
+++ b/
rules.mk
@@
-24,6
+24,12
@@
Q := @
L := @echo
endif
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)
# Initialize $(top_srcdir) with current directory, unless it was already initialized
top_srcdir ?= $(shell pwd)