no more nightles with -X, use default (which is now -X) for all
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 15:36:19 +0000 (17:36 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 15:36:19 +0000 (17:36 +0200)
commit7c351a06eb644cc17badd17b4035530c54529c7d
tree294d84e101188b968c217e2cb63979efb85ae31c
parentaa785225dcd45f03f8699f4daaa28ebb22ac14b2
no more nightles with -X, use default (which is now -X) for all
-S could be used temporarily if needed
scripts/builds.sh