« back to all changes in this revision
Viewing changes to uspace/app/trace/Makefile.common
- Committer: Martin Decky
- Date: 2010-01-04 15:21:19 UTC
- Revision ID: martin@uranus.dsrg.hide.ms.mff.cuni.cz-20100104152119-kuzf344zkmfrxnxo
remove Stanse-specific constructs from makefiles
add generic support for checkers via generating an universal jobfiles (for kernel, boot loader, libraries and tasks)
add Stanse preprocessor which uses this universal jobfiles to run Stanse
add generic support for checkers via generating an universal jobfiles (for kernel, boot loader, libraries and tasks)
add Stanse preprocessor which uses this universal jobfiles to run Stanse
- files added:
- tools/checkers
- files renamed:
- contrib/stanse/ => tools/checkers/stanse/
- files modified:
- Makefile
added
removed
uspace/app/trace/Makefile.common
