Changeset 8786aa5 in mainline for tools/checkers/stanse

Timestamp:
2010-01-04T15:21:19Z (16 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
b766352
Parents:
e405228
Message:

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

Location:
tools/checkers/stanse
Files:
1 added
1 moved

Note: See TracChangeset for help on using the changeset viewer.