Changeset 3f35634c in mainline for Makefile

Timestamp:

2009-11-28T20:28:13Z (14 years ago)

Author:

Pavel Rimsky <pavel@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

eb79d60

Parents:

3da11f37 (diff), 2e07d27e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

merged head changes to this branch

File:

• Makefile (modified) (3 diffs)

Makefile

@@ -30 +30 @@
 #
 
-.PHONY: all config config_default distclean clean cscope
+CSCOPE = cscope
+STANSE = stanse
+
+.PHONY: all config config_default distclean clean cscope stanse
 
 all: Makefile.config config.h config.defs
@@ -36 +39 @@
         $(MAKE) -C uspace
         $(MAKE) -C boot
+
+stanse: Makefile.config config.h config.defs
+        $(MAKE) -C kernel clean
+        $(MAKE) -C kernel EXTRA_TOOL=stanse
+        $(STANSE) --checker ReachabilityChecker --checker ThreadChecker:contrib/$(STANSE)/ThreadChecker.xml --jobfile kernel/kernel.job
+
+cscope:
+        find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs $(CSCOPE) -b -k -u -f$(CSCOPE).out
 
 Makefile.config: config_default
@@ -50 +61 @@
 
 distclean: clean
-        rm -f Makefile.config config.h config.defs tools/*.pyc
+        rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc
 
 clean:
-        -$(MAKE) -C kernel clean
-        -$(MAKE) -C uspace clean
-        -$(MAKE) -C boot clean
-
-cscope:
-        find kernel boot uspace -regex '^.*\.[chsS]$$' -print > srclist
-        rm -f cscope.out
-        cscope -bi srclist
+        $(MAKE) -C kernel clean
+        $(MAKE) -C uspace clean
+        $(MAKE) -C boot clean