From 0a6e28458296c8a7b72039d88b5754f3e8053b28 Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Sun, 10 Jan 2016 17:44:36 +0100
Subject: [PATCH] platformtest.sh: Delete ngIRCd binary before test run

This ensures that we definitely don't test an old binary later on ...
---
 contrib/platformtest.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/platformtest.sh b/contrib/platformtest.sh
index 4e28f925..a3d5ade4 100755
--- 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
+		rm -f "src/ngircd/ngircd"
 		echo "$NAME: Running \"$MAKE\" ..."
 		[ -n "$VERBOSE" ] && "$MAKE" || "$MAKE" >/dev/null
 		if [ $? -eq 0 ] && [ -x src/ngircd/ngircd ]; then
-- 
2.39.2