projects
/
bertos.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
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)