Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8413a52)
Polish the polishing.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 14 Jan 2023 10:58:41 +0000 (11:58 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 14 Jan 2023 14:34:20 +0000 (15:34 +0100)
[ci-skip]

tools/jenkins/Flags.sh patch | blob | history

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
index cfebd3a..ef34b95 100755 (executable)
--- a/tools/jenkins/Flags.sh
+++ b/tools/jenkins/Flags.sh
@@ -18,7 +18,7 @@ onoff() {
   fi
 }
 
-[ $# -eq 3 ] || die "Needs 4 arguments : MC SMPI DEBUG"
+[ $# -eq 3 ] || die "Needs 3 arguments : MC SMPI DEBUG"
 
 ### Cleanup previous runs
 
Clone of SimGrid repository with local patches