diff options
| -rwxr-xr-x | build/package-server.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/package-server.sh b/build/package-server.sh index f20a4ecd..c5fa9127 100755 --- a/build/package-server.sh +++ b/build/package-server.sh @@ -9,6 +9,9 @@ prepare-dist-dir() rm -rf ${WAR_NAME} fi mkdir ${WAR_NAME} + if [ -d ${NEW_WAR_NAME} ]; then + rm -rf ${NEW_WAR_NAME} + fi } get-server-war() |