updated run_CI_tests.py

This commit is contained in:
Jocelyn Fiat
2011-11-16 08:42:08 +01:00
parent 0a497b9a4d
commit 733296e71e