Use latest Docker in CI

Force a Docker upgrade for all Linux runners. Fixes: #1294
2020-03-30 18:51:45 +02:00
parent 6c17a36465
commit bec7189295
3 changed files with 10 additions and 7 deletions
--- a/ci-build.sh
+++ b/ci-build.sh
@@ -14,7 +14,7 @@ trap error_handler ERR
 ./bootstrap.sh

 tests=()
-MAKE="make"
+MAKE="make --quiet -j$(nproc)"
 CC="gcc"

 case $(uname | tr '[:upper:]' '[:lower:]') in