diff options
Diffstat (limited to 'docker/ci/vespa-ci-internal.sh')
-rwxr-xr-x | docker/ci/vespa-ci-internal.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/docker/ci/vespa-ci-internal.sh b/docker/ci/vespa-ci-internal.sh deleted file mode 100755 index 5067aecaa6a..00000000000 --- a/docker/ci/vespa-ci-internal.sh +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/bash -# Copyright 2017 Yahoo Holdings. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root. -set -e - -if [ $# -ne 2 ]; then - echo "Usage: $0 <git commit> <log prefix>" - echo "This script should not be called manually." - exit 1 -fi - -GIT_COMMIT=$1 -LOG_PREFIX=$2 -SOURCE_DIR=~/vespa -BUILD_DIR=~/build -MAPPED_DIR=/vespa -LOG_DIR=~/log - -mkdir "${SOURCE_DIR}" -mkdir "${BUILD_DIR}" -mkdir "${LOG_DIR}" - -git clone --no-checkout --no-hardlinks "file://${MAPPED_DIR}" "${SOURCE_DIR}" -cd "${SOURCE_DIR}" -git -c advice.detachedHead=false checkout ${GIT_COMMIT} - -NUM_THREADS=$(($(nproc --all) * 2)) -bash "${MAPPED_DIR}/docker/ci/build-and-test.sh" "${SOURCE_DIR}" "${BUILD_DIR}" "${LOG_DIR}" ${NUM_THREADS} - -cp "${LOG_DIR}/java.log" "${MAPPED_DIR}/docker/logs/${LOG_PREFIX}-java.log" -cp "${LOG_DIR}/cpp.log" "${MAPPED_DIR}/docker/logs/${LOG_PREFIX}-cpp.log" |