Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
remove spurious non breaking spaces, grrr
[simgrid.git] / tools / jenkins / Coverage.sh
index 1befd18..e6a1694 100755 (executable)
@@ -31,7 +31,7 @@ do
    fi
 done
 
-### Cleanup previous runs
+### Cleanup previous runs
 
 ! [ -z "$WORKSPACE" ] || die "No WORKSPACE"
 [ -d "$WORKSPACE" ] || die "WORKSPACE ($WORKSPACE) does not exist"