Changes in Makefile [4924675:8786aa5] in mainline


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Makefile

    r4924675 r8786aa5  
    3131
    3232CSCOPE = cscope
    33 STANSE = stanse
     33CONFIG = tools/config.py
    3434
    35 .PHONY: all config config_default distclean clean cscope stanse
     35.PHONY: all config config_default distclean clean cscope precheck
    3636
    3737all: 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)
    4141
    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
     42precheck: clean
     43        $(MAKE) all PRECHECK=y
    4644
    4745cscope:
    … …  
    5553
    5654config_default: HelenOS.config
    57         tools/config.py HelenOS.config default
     55        $(CONFIG) HelenOS.config default
    5856
    5957config: HelenOS.config
    60         tools/config.py HelenOS.config
     58        $(CONFIG) HelenOS.config
    6159
    6260distclean: clean
Note: See TracChangeset for help on using the changeset viewer.