1106 |
# Cleanup only! |
# Cleanup only! |
1107 |
if test "x$CLEANUP" = xt ; then |
if test "x$CLEANUP" = xt ; then |
1108 |
if test -r $BUILD_DIR/Makefile ; then |
if test -r $BUILD_DIR/Makefile ; then |
1109 |
echo ' ------ clean dir:' $dir/build |
echo ' ------ clean dir:' $dir/$builddir |
1110 |
( cd $BUILD_DIR ; make CLEAN ) |
( cd $BUILD_DIR ; make CLEAN ) |
1111 |
fi |
fi |
1112 |
if test -d $dir/$rundir/CVS ; then |
if test -d $dir/$rundir/CVS ; then |
1255 |
done |
done |
1256 |
|
|
1257 |
printf "Start time: " >> $SUMMARY |
printf "Start time: " >> $SUMMARY |
1258 |
echo $start_date >> $SUMMARY |
echo "$start_date" >> $SUMMARY |
1259 |
printf "End time: " >> $SUMMARY |
printf "End time: " >> $SUMMARY |
1260 |
date >> $SUMMARY |
date >> $SUMMARY |
1261 |
|
|