From ea72df1d66942bf33760dc919701d9c4e6083c44 Mon Sep 17 00:00:00 2001 From: Robert von Burg Date: Sat, 22 Mar 2014 00:44:21 +0100 Subject: [PATCH] [New] Added development and download pages --- createBundle.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/createBundle.sh b/createBundle.sh index e10394984..e77edaddf 100755 --- a/createBundle.sh +++ b/createBundle.sh @@ -51,11 +51,19 @@ while read project; do echo "ERROR: Failed to copy package for project ${project}." exit 1 fi + if ! cp target/*.jar "${DIST_STROLCH}" ; then + echo "ERROR: Failed to publish package for project ${project}." + exit 1 + fi elif ls target/*.war 2>/dev/null ; then if ! cp target/*.war "${workDir}" ; then echo "ERROR: Failed to copy wars for project ${project}." exit 1 fi + if ! cp target/*.war "${DIST_STROLCH}" ; then + echo "ERROR: Failed to publish wars for project ${project}." + exit 1 + fi else echo "INFO: Project ${project} has no target, skipping." fi