Commit ce2a99c3 authored by Yann Garcia's avatar Yann Garcia
Browse files

Enhance scripts

parent 32c051c0

scripts/bench_run.sh

+2 −1
Changes for scripts/bench_run.sh: 2 added lines, 1 removed line.
Original line number Diff line number Diff line
@@ -57,7 +57,8 @@ RESTART_UT=1 
NAME=""



usage() {

    sed -n '2,32p' "$0" | sed 's/^# \{0,1\}//'

    # The header comment, up to its first non-comment line

    awk 'NR == 1 { next } !/^#/ { exit } { sub(/^# ?/, ""); print }' "$0"

}



while [[ $# -gt 0 ]]; do