Fix run-all script broken by commits cd83815d1a and d3914e4821.

diff --git a/Experimentations/run-all b/Experimentations/run-all
index 9453bc3884f1c867787b48e756028a7fa68cd5d9..60bfa07fffeeba020b5c01c1cab4ff4b29eae2f0 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"
                     log "skipped (dry-run)"
                 else
                     echo "# ${cmd[@]}" > "$out"

-                    "${cmd[@]}" > "$out" 2>&1
+                    "${cmd[@]}" >> "$out" 2>&1

                     tail -n4 "$out"
                 fi
             done
                     tail -n4 "$out"
                 fi
             done