diff options
-rwxr-xr-x | docker/vespa-ci-internal.sh | 3 | ||||
-rwxr-xr-x | docker/vespa-ci.sh | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/docker/vespa-ci-internal.sh b/docker/vespa-ci-internal.sh index 636539dd730..caa64824044 100755 --- a/docker/vespa-ci-internal.sh +++ b/docker/vespa-ci-internal.sh @@ -1,5 +1,6 @@ #!/bin/bash set -e +set -x if [ $# -ne 1 ]; then echo "Usage: $0 <git commit>" @@ -20,7 +21,7 @@ cd "${SOURCE_DIR}" git checkout --detach ${GIT_COMMIT} source /opt/rh/devtoolset-6/enable || true sh ./bootstrap.sh full -mvn install +MAVEN_OPTS="-Xms512m -Xmx512m" mvn install cd "${BUILD_DIR}" cmake3 -DCMAKE_INSTALL_PREFIX=/opt/vespa \ -DJAVA_HOME=/usr/lib/jvm/java-openjdk \ diff --git a/docker/vespa-ci.sh b/docker/vespa-ci.sh index decb6e1201b..58705eae339 100755 --- a/docker/vespa-ci.sh +++ b/docker/vespa-ci.sh @@ -1,5 +1,6 @@ #!/bin/bash set -e +set -x if [ $# -ne 1 ]; then echo "Usage: $0 <git commit>" |