diff options
| author | Alexander Barton <alex@barton.de> | 2016-01-10 17:44:36 +0100 |
|---|---|---|
| committer | Alexander Barton <alex@barton.de> | 2016-01-10 17:45:47 +0100 |
| commit | 0a6e28458296c8a7b72039d88b5754f3e8053b28 (patch) | |
| tree | 5a061b8cc425f1e9e2553026f158e0fe96c8a827 | |
| parent | 2254e92e60fbe09da5adef1111ddcd60b7e98252 (diff) | |
| download | ngircd-0a6e28458296c8a7b72039d88b5754f3e8053b28.tar.gz ngircd-0a6e28458296c8a7b72039d88b5754f3e8053b28.zip | |
platformtest.sh: Delete ngIRCd binary before test run
This ensures that we definitely don't test an old binary later on ...
| -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 |