Changeset 387416b in mainline for Makefile


Ignore:
Timestamp:
2009-12-12T10:11:35Z (15 years ago)
Author:
Pavel Rimsky <pavel@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
99de22b
Parents:
58d5803d (diff), 1e4cada (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:

Synchronizing with head.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Makefile

    r58d5803d r387416b  
    4343        $(MAKE) -C kernel clean
    4444        $(MAKE) -C kernel EXTRA_TOOL=stanse
    45         $(STANSE) --checker ReachabilityChecker --checker ThreadChecker:contrib/$(STANSE)/ThreadChecker.xml --jobfile kernel/kernel.job
     45        $(STANSE) --checker ReachabilityChecker --jobfile kernel/kernel.job
    4646
    4747cscope:
Note: See TracChangeset for help on using the changeset viewer.