change exclude option to be less confusing -e
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 20 Mar 2012 10:32:04 +0000 (11:32 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 20 Mar 2012 10:32:04 +0000 (11:32 +0100)
commit05b33d94f7b7371fc8fe7c091f58ea6f0df2778f
treeda41be84ec516d0ac5dcb97935cbd7abf806af8b
parent522956122a94d5f637d955538f07244be9dd7aaf
change exclude option to be less confusing -e
more consistent with the build's options
system/TestMain.py