986 |
fi |
fi |
987 |
|
|
988 |
# Create a uniquely named directory to store results |
# Create a uniquely named directory to store results |
989 |
|
CMDLINE=$0 |
990 |
|
for xx in "$@" ; do CMDLINE="$CMDLINE '$xx'" ; done |
991 |
MACH=`hostname` |
MACH=`hostname` |
992 |
UNAMEA=`uname -a` |
UNAMEA=`uname -a` |
993 |
DATE=`date +%Y%m%d` |
DATE=`date +%Y%m%d` |
1008 |
exit 1 |
exit 1 |
1009 |
fi |
fi |
1010 |
SUMMARY="$DRESULTS/summary.txt" |
SUMMARY="$DRESULTS/summary.txt" |
|
printf "Start time: " >> $SUMMARY |
|
1011 |
start_date=`date` |
start_date=`date` |
1012 |
echo $start_date > $SUMMARY |
echo $start_date > $SUMMARY |
1013 |
|
echo 'run:' $CMDLINE >> $SUMMARY |
1014 |
|
echo 'on :' $UNAMEA >> $SUMMARY |
1015 |
|
|
1016 |
of_path= |
of_path= |
1017 |
if test "x$OPTFILE" != xNONE ; then |
if test "x$OPTFILE" != xNONE ; then |