Changes in Makefile [e035612:8359969] in mainline

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