Searched refs:OLD_SHELL (Results 1 - 1 of 1) sorted by relevance

/openjdk9/common/bin/
H A Dshell-tracer.sh25 # Usage: sh shell-tracer.sh <TIME_CMD> <OUTPUT_FILE> <OLD_SHELL> <shell command line>
33 # OLD_SHELL -x, and it will also store a simple log of the the time it takes to
39 OLD_SHELL="$3"
44 "$TIME_CMD" -f "[TIME:%E] $*" -a -o "$OUTPUT_FILE" "$OLD_SHELL" -x "$@"
46 "$OLD_SHELL" -x "$@"

Completed in 82 milliseconds