Florent Le Coz d799dc10b6 Test a different way to do our CI ...

Introduce a script, which is called with different parameters, to have a
number of builds done with a different configuration, without repeating
things too much.

2015-10-26 20:00:52 +01:00

..

build_and_run_tests.sh

Test a different way to do our CI

2015-10-26 20:00:52 +01:00