platformtest.sh: Delete ngIRCd binary before test run

This ensures that we definitely don't test an old binary later on ...

diff --git a/contrib/platformtest.sh b/contrib/platformtest.sh
index 4e28f92542caa65c675b64e24c6c266b4d0f60ba..a3d5ade4225655543a27f87503e1a61dc5ceb639 100755 (executable)
--- a/contrib/platformtest.sh
+++ b/contrib/platformtest.sh
@@ -98,6 +98,7 @@ if [ -r "$SRC_D/configure" ]; then
        [ -n "$VERBOSE" ] && "$SRC_D/configure" -C || "$SRC_D/configure" -C >/dev/null
        if [ $? -eq 0 ] && [ -r ./Makefile ]; then
                R_CONFIGURE=1
        [ -n "$VERBOSE" ] && "$SRC_D/configure" -C || "$SRC_D/configure" -C >/dev/null
        if [ $? -eq 0 ] && [ -r ./Makefile ]; then
                R_CONFIGURE=1

+               rm -f "src/ngircd/ngircd"

                echo "$NAME: Running \"$MAKE\" ..."
                [ -n "$VERBOSE" ] && "$MAKE" || "$MAKE" >/dev/null
                if [ $? -eq 0 ] && [ -x src/ngircd/ngircd ]; then
                echo "$NAME: Running \"$MAKE\" ..."
                [ -n "$VERBOSE" ] && "$MAKE" || "$MAKE" >/dev/null
                if [ $? -eq 0 ] && [ -x src/ngircd/ngircd ]; then