diff --git a/bash/perf.sh b/bash/perf.sh index e30c577..d8e6cb6 100755 --- a/bash/perf.sh +++ b/bash/perf.sh @@ -8,10 +8,10 @@ # Arguments APP="$1" -# Session +# Session (pour éviter le mélange de résultats) SESSION=$(date +'%Y-%m-%d-%H-%M-%S') -# +# Stockage des résultats de mesure RESULT_DIR="$CUR_DIR/perfs/$SESSION" mkdir -p "$RESULT_DIR" @@ -20,7 +20,7 @@ # Commandes HARVEST="$CUR_DIR/harvest-perf.sh" -TIME="/usr/bin/time -o "$TIMEFILE" --format '%e'" +TIME="/usr/bin/time --output "$TIMEFILE" --format '%e'" NET=""