Changes in Makefile [8786aa5:4924675] in mainline


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Makefile

    r8786aa5 r4924675  
    3131
    3232CSCOPE = cscope
    33 CONFIG = tools/config.py
     33STANSE = stanse
    3434
    35 .PHONY: all config config_default distclean clean cscope precheck
     35.PHONY: all config config_default distclean clean cscope stanse
    3636
    3737all: Makefile.config config.h config.defs
    38         $(MAKE) -C kernel PRECHECK=$(PRECHECK)
    39         $(MAKE) -C uspace PRECHECK=$(PRECHECK)
    40         $(MAKE) -C boot PRECHECK=$(PRECHECK)
     38        $(MAKE) -C kernel
     39        $(MAKE) -C uspace
     40        $(MAKE) -C boot
    4141
    42 precheck: clean
    43         $(MAKE) all PRECHECK=y
     42stanse: 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
    4446
    4547cscope:
    … …  
    5355
    5456config_default: HelenOS.config
    55         $(CONFIG) HelenOS.config default
     57        tools/config.py HelenOS.config default
    5658
    5759config: HelenOS.config
    58         $(CONFIG) HelenOS.config
     60        tools/config.py HelenOS.config
    5961
    6062distclean: clean
Note: See TracChangeset for help on using the changeset viewer.