From d799dc10b6045837dd58a1945b3227a2b08d40d6 Mon Sep 17 00:00:00 2001
From: Florent Le Coz <louiz@louiz.org>
Date: Mon, 26 Oct 2015 03:20:22 +0100
Subject: 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.
---
 scripts/build_and_run_tests.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 scripts/build_and_run_tests.sh

(limited to 'scripts')

diff --git a/scripts/build_and_run_tests.sh b/scripts/build_and_run_tests.sh
new file mode 100755
index 0000000..69a27fd
--- /dev/null
+++ b/scripts/build_and_run_tests.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+set -e -x
+
+cmake .. $@
+make -j$(nproc) biboumi test_suite
+./test_suite
-- 
cgit v1.2.3