summaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Collapse)Author
2015-10-26Test a different way to do our CIFlorent Le Coz
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.