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