revert the default to 'pl'+'pg'
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 16 Nov 2011 08:28:06 +0000 (09:28 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 16 Nov 2011 08:28:06 +0000 (09:28 +0100)
commita07ba8e87ac5097faf3a1709e8ad96ae6dfac17a
tree653c95061054987b82d75b6b6f7af965182f489c
parent99b7801bb3be27f0d03e230074680a310cd2033e
revert the default to 'pl'+'pg'
vbuild-nightly now supports -y
system/TestMain.py