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

Changeset 8359969 in mainline for Makefile


Ignore:
Timestamp:
2009-11-26T17:13:53Z (11 years ago)
Author:
Martin Decky <martin@…>
Branches:
master
Children:
c09adc10, fb7c52f
Parents:
20c7c40
Message:

initial support for Stanse ThreadChecker?

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Makefile

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