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"