A
lgorithmique
N
umérique
D
istribuée
Private GIT Repository
projects
/
loba.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Cosmetics: replace in doc "xxx-er thread" by "xxx-ing" thread.
[loba.git]
/
Experimentations
/
run-all
diff --git
a/Experimentations/run-all
b/Experimentations/run-all
index 60bfa07fffeeba020b5c01c1cab4ff4b29eae2f0..9453bc3884f1c867787b48e756028a7fa68cd5d9 100755
(executable)
--- a/
Experimentations/run-all
+++ b/
Experimentations/run-all
@@
-108,7
+108,7
@@
for plat in "${PLATFORMS[@]}"; do
log "skipped (dry-run)"
else
echo "# ${cmd[@]}" > "$out"
- "${cmd[@]}" >
>
"$out" 2>&1
+ "${cmd[@]}" > "$out" 2>&1
tail -n4 "$out"
fi
done