the new-k option works like make -k : ignore step results and keep going
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 27 Sep 2010 14:58:31 +0000 (16:58 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 27 Sep 2010 14:58:31 +0000 (16:58 +0200)
commit8aac2db562a63dd49784490ddf66cd14d6cb9c5a
treed2220bdd139ced0570823a189e65fab574153b28
parent2ccf79bdb05c5c1d478f2533e9e3e58f6c73c6d0
the new-k option works like make -k : ignore step results and keep going
system/TestMain.py