Changes in Makefile [eb221e5:e3c3172] in mainline

File:

• Makefile (modified) (3 diffs)

Makefile

@@ -28 +28 @@
 
 CSCOPE = cscope
-CHECK = tools/check.sh
 CONFIG = tools/config.py
 AUTOTOOL = tools/autotool.py
@@ -42 +41 @@
 CONFIG_HEADER = config.h
 
-.PHONY: all precheck cscope autotool config_auto config_default config distclean clean check
+.PHONY: all precheck cscope autotool config_auto config_default config distclean clean
 
 all: $(COMMON_MAKEFILE) $(COMMON_HEADER) $(CONFIG_MAKEFILE) $(CONFIG_HEADER)
@@ -55 +54 @@
 cscope:
         find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs $(CSCOPE) -b -k -u -f$(CSCOPE).out
-
-# Pre-integration build check
-check: $(CHECK)
-ifdef JOBS 
-        $(CHECK) -j $(JOBS)
-else
-        $(CHECK)
-endif
 
 $(COMMON_MAKEFILE): autotool