From dbdc8849bcfe7b0e775b4a2a61b13a3c7ba7c581 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 13 Sep 2021 11:50:47 +0200 Subject: [PATCH] external CI scripts: cosmetics and uniformity --- tools/jenkins/ci-batsim.sh | 4 ++-- tools/jenkins/ci-bigdft.sh | 9 ++++++++- tools/jenkins/ci-starpu.sh | 19 ++++++++++--------- tools/jenkins/ci-wrench.sh | 33 +++++++++++++++------------------ 4 files changed, 35 insertions(+), 30 deletions(-) diff --git a/tools/jenkins/ci-batsim.sh b/tools/jenkins/ci-batsim.sh index 7f532c587b..b2af1a000f 100755 --- a/tools/jenkins/ci-batsim.sh +++ b/tools/jenkins/ci-batsim.sh @@ -1,7 +1,7 @@ #! /bin/sh # Test this script locally as follows (rerun `docker pull simgrid/unstable` to get a fresh version). -# cd