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
parent c8606e1858
commit d799dc10b6
2 changed files with 33 additions and 8 deletions
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+set -e -x
+
+cmake .. $@
+make -j$(nproc) biboumi test_suite
+./test_suite