diff options
author | Pierre Grandin <grandinp@altern.org> | 2016-11-30 03:46:06 +0000 |
---|---|---|
committer | Pierre Grandin <grandinp@altern.org> | 2016-11-30 03:46:06 +0000 |
commit | c510977a01862f29629e3ee3c8dc133324293929 (patch) | |
tree | 8ab6dfb7914049f7e38cf6e42f2d4f8e43f6c35b | |
parent | 2f2c51614cb96d3ff31b2bea9f4811de283373c3 (diff) | |
download | navit-c510977a01862f29629e3ee3c8dc133324293929.tar.gz |
Ensure that we build all targets in 4 containers
-rw-r--r-- | ci/build.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ci/build.sh b/ci/build.sh new file mode 100644 index 000000000..7f8f46279 --- /dev/null +++ b/ci/build.sh @@ -0,0 +1,7 @@ +echo "$# build script (s) to run" + +for i in $(seq 1 $#); do + eval s=\$$i + echo "Starting build script #$i : $s" + bash -e $s +done |