|
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_TYPE> <TIME_CMD> <OUTPUT_FILE> <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 run the shell command line and it will also store a simple |
|
33 # log of the the time it takes to execute the command in the OUTPUT_FILE, using |
|
34 # utility for time measure specified with TIME_CMD option. |
|
35 # |
|
36 # Type of time measure utility is specified with TIME_CMD_TYPE option. |
|
37 # Recognized options values of TIME_CMD_TYPE option: "gnutime", "flock". |
|
38 |
|
39 TIME_CMD_TYPE="$1" |
|
40 TIME_CMD="$2" |
|
41 OUTPUT_FILE="$3" |
|
42 shift |
|
43 shift |
|
44 shift |
|
45 if [ "$TIME_CMD_TYPE" = "gnutime" ]; then |
|
46 # Escape backslashes (\) and percent chars (%). See man for GNU 'time'. |
|
47 msg=${@//\\/\\\\} |
|
48 msg=${msg//%/%%} |
|
49 "$TIME_CMD" -f "[TIME:%E] $msg" -a -o "$OUTPUT_FILE" "$@" |
|
50 elif [ "$TIME_CMD_TYPE" = "flock" ]; then |
|
51 # Emulated GNU 'time' with 'flock' and 'date'. |
|
52 ts=`date +%s%3N` |
|
53 "$@" |
|
54 status=$? |
|
55 ts2=`date +%s%3N` |
|
56 millis=$((ts2 - ts)) |
|
57 ms=$(($millis % 1000)) |
|
58 seconds=$((millis / 1000)) |
|
59 ss=$(($seconds % 60)) |
|
60 minutes=$(($seconds / 60)) |
|
61 mm=$(($minutes % 60)) |
|
62 hh=$(($minutes / 60)): |
|
63 [ $hh != "0:" ] || hh= |
|
64 # Synchronize on this script. |
|
65 flock -w 10 "$0" printf "[TIME:${hh}${mm}:${ss}.%.2s] %s\n" $ms "$*" >> "$OUTPUT_FILE" || true |
|
66 exit $status |
|
67 else |
|
68 "$@" |
|
69 fi |