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` |