diff options
| -rwxr-xr-x | contrib/platformtest.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |