Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 827d73f in mainline for Makefile


Ignore:
Timestamp:
2010-02-12T14:09:22Z (12 years ago)
Author:
Lukas Mejdrech <lukasmejdrech@…>
Branches:
lfn, master
Children:
a70bda4
Parents:
918e9910 (diff), e70edd1 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merged the actual head

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Makefile

    r918e9910 r827d73f  
    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
    63         rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc
     61        rm -f $(CSCOPE).out Makefile.config config.h config.defs tools/*.pyc tools/checkers/*.pyc
    6462
    6563clean:
Note: See TracChangeset for help on using the changeset viewer.