comparison mx.sh @ 10527:2b95d5b1958b

change to GC verification during gate: run in product, add after-GC verification
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 25 Jun 2013 10:22:02 +0200
parents 9a4f210abb5e
children
comparison
equal deleted inserted replaced
10526:815c675b07b0 10527:2b95d5b1958b