run

j2ee API 开发重要工具 免费下载 欢迎使用

#!/bin/csh

source ../../env.cfg

set MODE = "echo"
if ($1 == "-q") then
   set MODE = "quiet"
   shift
endif

if ("$2" == "") then
  echo Usage: 
  echo "    run  {-q}  <logFile>  <program> {arguments...}"
  exit
endif

# Set the log file name
set LOG = ../samples/${1}.txt
set HTM = ../samples/${1}.html 
shift

echo Running $*
rm -f $LOG
$BIN/run  $*  >& $LOG

rm -f $HTM
log2pre $LOG > $HTM

if ($MODE == "echo") then
   more $LOG
endif