#/bin/sh # -*- Mode: sh -*-
# File: $CVSROOT/IDEA-DEV/Tools/Test/build-summary-from-log
# Info: $CVSROOT/IDEA-DEV/COPYRIGHT
#  CVS: $Id: build-summary-from-log,v 1.2 2006/01/21 00:18:34 plaunt Exp $

echo " "

if [ $# != 1 ];
then
  echo "usage: build-summary-from-log <log-file-name>"
  echo " "
  exit
fi

if [ ! -e $1 ];
then
  echo "log file ($1) not found."
  echo " "
  exit
fi

#summary_name=`echo $1 | sed -e 's/.log/.summary/'`
summary_name=$1.summary

echo "writing execution event summary to $summary_name"
egrep "^[0-9]+(\.[0-9]+)? " $1 > $summary_name

echo " "

#  EOF
