← Back to branch summary

~jsvoboda/helenos/tracing

« back to all changes in this revision

Viewing changes to Makefile

  • Committer: Jiri Svoboda
  • Date: 2010-01-17 11:17:26 UTC
  • mfrom: (2.1.217 head-clone)
  • Revision ID: jiri@wiwaxia-20100117111726-skt0b76uedq3d2c6
Merge mainline changes

Show diffs side-by-side

added added

removed removed

Lines of Context:
Makefile
30
30
#
31
31
 
32
32
CSCOPE = cscope
33
 
STANSE = stanse
 
33
CONFIG = tools/config.py
34
34
 
35
 
.PHONY: all config config_default distclean clean cscope stanse
 
35
.PHONY: all config config_default distclean clean cscope precheck
36
36
 
37
37
all: Makefile.config config.h config.defs
38
 
        $(MAKE) -C kernel
39
 
        $(MAKE) -C uspace
40
 
        $(MAKE) -C boot
 
38
        $(MAKE) -C kernel PRECHECK=$(PRECHECK)
 
39
        $(MAKE) -C uspace PRECHECK=$(PRECHECK)
 
40
        $(MAKE) -C boot PRECHECK=$(PRECHECK)
41
41
 
42
 
stanse: Makefile.config config.h config.defs
43
 
        $(MAKE) -C kernel clean
44
 
        $(MAKE) -C kernel EXTRA_TOOL=stanse
45
 
        $(STANSE) --checker ReachabilityChecker --jobfile kernel/kernel.job
 
42
precheck: clean
 
43
        $(MAKE) all PRECHECK=y
46
44
 
47
45
cscope:
48
46
        find kernel boot uspace -regex '^.*\.[chsS]$$' | xargs $(CSCOPE) -b -k -u -f$(CSCOPE).out
54
52
config.defs: config_default
55
53
 
56
54
config_default: HelenOS.config
57
 
        tools/config.py HelenOS.config default
 
55
        $(CONFIG) HelenOS.config default
58
56
 
59
57
config: HelenOS.config
60
 
        tools/config.py HelenOS.config
 
58
        $(CONFIG) HelenOS.config
61
59
 
62
60
distclean: clean
63
61
        rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc