Mercurial > jdk8-mips64-public / file comparison
comparison: common/bin/shell-tracer.sh
common/bin/shell-tracer.sh
- changeset 494
- e64f2cb57d05
- parent 0
- 75a576e87639
equal
deleted
inserted
replaced
| 488:8a3fe0ae06a8 | 494:e64f2cb57d05 |
|---|---|
| 1 #!/bin/bash | |
| 2 # | |
| 3 # Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved. | |
| 4 # DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. | |
| 5 # | |
| 6 # This code is free software; you can redistribute it and/or modify it | |
| 7 # under the terms of the GNU General Public License version 2 only, as | |
| 8 # published by the Free Software Foundation. | |
| 9 # | |
| 10 # This code is distributed in the hope that it will be useful, but WITHOUT | |
| 11 # ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 12 # FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 13 # version 2 for more details (a copy is included in the LICENSE file that | |
| 14 # accompanied this code). | |
| 15 # | |
| 16 # You should have received a copy of the GNU General Public License version | |
| 17 # 2 along with this work; if not, write to the Free Software Foundation, | |
| 18 # Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
| 19 # | |
| 20 # Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA | |
| 21 # or visit www.oracle.com if you need additional information or have any | |
| 22 # questions. | |
| 23 # | |
| 24 | |
| 25 # Usage: sh shell-tracer.sh <TIME_CMD> <OUTPUT_FILE> <OLD_SHELL> <shell command line> | |
| 26 # | |
| 27 # This shell script is supposed to be set as a replacement for SHELL in make, | |
| 28 # causing it to be called whenever make wants to execute shell commands. | |
| 29 # The <shell command line> is suitable for passing on to the old shell, | |
| 30 # typically beginning with -c. | |
| 31 # | |
| 32 # This script will make sure the shell command line is executed with | |
| 33 # OLD_SHELL -x, and it will also store a simple log of the the time it takes to | |
| 34 # execute the command in the OUTPUT_FILE, using the "time" utility as pointed | |
| 35 # to by TIME_CMD. If TIME_CMD is "-", no timestamp will be stored. | |
| 36 | |
| 37 TIME_CMD="$1" | |
| 38 OUTPUT_FILE="$2" | |
| 39 OLD_SHELL="$3" | |
| 40 shift | |
| 41 shift | |
| 42 shift | |
| 43 if [ "$TIME_CMD" != "-" ]; then | |
| 44 "$TIME_CMD" -f "[TIME:%E] $*" -a -o "$OUTPUT_FILE" "$OLD_SHELL" -x "$@" | |
| 45 else | |
| 46 "$OLD_SHELL" -x "$@" | |
| 47 fi |
