From bdab65963af7d31827ca05799b4859339c3c1942 Mon Sep 17 00:00:00 2001 From: Matthias Andreas Benkard Date: Fri, 18 Dec 2020 13:23:47 +0100 Subject: build.xml: Improve 'deploy' command. Change-Id: I73687e27c6e41508ba177916eabaf87ef8655807 --- build.xml | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/build.xml b/build.xml index e4111be..028c937 100644 --- a/build.xml +++ b/build.xml @@ -114,6 +114,11 @@ + + + + + @@ -121,10 +126,9 @@ - - - - + + + -- cgit v1.2.3