FILES=`awk '/FD Files Written:/ { last=$4 } END { print last }' $LOG`
if [ "$NB" != "$FILES" ]; then
- print_debug "Expect $NB files, get $FILES"
+ print_debug "ERROR: Expect $NB files, get $FILES"
bstat=2
fi
}
done
}
+update_win32()
+{
+ if [ -d $cwd/build/src/win32/release32 \
+ -a -d $cwd/build/src/win32/release64 ] \
+ || [ -d $cwd/release32 -a -d $cwd/release64 ]
+ then
+ echo -ne "Try to upgrade the FileDaemon:\t"
+ wget -qO - "$WIN32_ADDR:8091/install"
+ fi
+}
+
debug_wait()
{
if test "x${REGRESS_WAIT}" = "x1"; then