ref: 79b51e588d41bc7df8c27f1f1aee57832a9d45ad
dir: /test/perf_test/
#/bin/sh > time.log for p in $* do echo "testing $p" printf "$p " | sed "s/^p\/p_//" >> time.log /usr/bin/time -p ./$p 2>&1 | grep real | sed -E 's/[[:space:]]+/ /' | cut -d ' ' -f 2 >> time.log done