1296 |
# Create a uniquely named directory to store results |
# Create a uniquely named directory to store results |
1297 |
CMDLINE=$0 |
CMDLINE=$0 |
1298 |
for xx in "$@" ; do nw=`echo $xx | wc -w` |
for xx in "$@" ; do nw=`echo $xx | wc -w` |
1299 |
if test $nw = '1' ; then CMDLINE="$CMDLINE $xx" |
if test $nw = '1' ; then CMDLINE="$CMDLINE $xx" ; else |
1300 |
else CMDLINE="$CMDLINE '$xx'" ; fi |
nb=`echo $xx | grep -c '='` |
1301 |
|
if test $nb = 0 ; then CMDLINE="$CMDLINE '$xx'" |
1302 |
|
else yy=`echo "$xx'" | sed "s/=/='/"` ; |
1303 |
|
CMDLINE="$CMDLINE $yy" ; fi |
1304 |
|
fi |
1305 |
done |
done |
1306 |
#for xx in "$@" ; do CMDLINE="$CMDLINE '$xx'" ; done |
#for xx in "$@" ; do CMDLINE="$CMDLINE '$xx'" ; done |
1307 |
MACH=`hostname` |
MACH=`hostname` |
1348 |
echo >> $SUMMARY |
echo >> $SUMMARY |
1349 |
echo " OPTFILE=$OPTFILE" >> $SUMMARY |
echo " OPTFILE=$OPTFILE" >> $SUMMARY |
1350 |
else |
else |
1351 |
echo | tee $SUMMARY |
echo | tee -a $SUMMARY |
1352 |
echo "ERROR: can't read OPTFILE=\"$OPTFILE\"" | tee $SUMMARY |
echo "ERROR: can't read OPTFILE=\"$OPTFILE\"" | tee -a $SUMMARY |
1353 |
exit 1 |
exit 1 |
1354 |
fi |
fi |
1355 |
else |
else |