runcheck.sh revision 5aceed326fe593ff15bef79c5a86eef2df62a2ba
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maeder echo "processing $i"
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maeder runchecker "GlobalAnnos" $i $i.global.output
05e2a3161e4589a717c6fe5c7306820273a473c5Christian Maederrunchecker SortIds MixIds.casl MixIds.casl.asSortIds.output