update publish.sh for core subdir (missed in PR#20) (#21)
diff --git a/tools/travis/publish.sh b/tools/travis/publish.sh
index d38aed9..11fe401 100755
--- a/tools/travis/publish.sh
+++ b/tools/travis/publish.sh
@@ -30,7 +30,7 @@
if [[ ! -z ${RUNTIME} ]]; then
TERM=dumb ./gradlew \
-:${RUNTIME}:distDocker \
+core:${RUNTIME}:distDocker \
-PdockerRegistry=docker.io \
-PdockerImagePrefix=${IMAGE_PREFIX} \
-PdockerImageTag=${IMAGE_TAG}
@@ -39,7 +39,7 @@
if [ ${IMAGE_TAG} == "nightly" ]; then
SHORT_COMMIT=`git rev-parse --short HEAD`
TERM=dumb ./gradlew \
- :${RUNTIME}:distDocker \
+ core:${RUNTIME}:distDocker \
-PdockerRegistry=docker.io \
-PdockerImagePrefix=${IMAGE_PREFIX} \
-PdockerImageTag=${SHORT_COMMIT}