Viewing all changes in revision 188.
- 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
expand all
collapse all
added
removed
