diff options
| author | Geir Storli <geirst@verizonmedia.com> | 2020-04-21 16:09:32 +0200 |
|---|---|---|
| committer | Geir Storli <geirst@verizonmedia.com> | 2020-04-21 16:09:32 +0200 |
| commit | a777a72853d9e45db6c1bbba4c35543928e6b61f (patch) | |
| tree | 82c8d84e976dbe11695dc42913c993c8a3da58d1 /docker/build | |
| parent | 00ee3194a13ad2d26ad530aad8d1adf10018833f (diff) | |
Remove obsolete build scripts.
Diffstat (limited to 'docker/build')
| -rwxr-xr-x | docker/build/enter-build-container-internal.sh | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/docker/build/enter-build-container-internal.sh b/docker/build/enter-build-container-internal.sh deleted file mode 100755 index ae76263e2c7..00000000000 --- a/docker/build/enter-build-container-internal.sh +++ /dev/null @@ -1,36 +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 0 ]; then - echo "Usage: $0" - echo "This script should not be called manually." - exit 1 -fi - -USERNAME=builder -VESPA_DIR=$(cd $(dirname "${BASH_SOURCE[0]}")/../.. && pwd) -cd $VESPA_DIR - -CALLER_UID=$(stat -c "%u" $VESPA_DIR) - -if [ $CALLER_UID -ne 0 ]; then - # We are in a system that maps the uids and this dir is not owned by root - # Create a user with same uid and gid to avoid mixing - CALLER_GID=$(stat -c "%g" $VESPA_DIR) - - groupadd -f -g $CALLER_GID $USERNAME - useradd -u $CALLER_UID -g $CALLER_GID $USERNAME - echo "$USERNAME ALL=(ALL) NOPASSWD:ALL" >> /etc/sudoers -else - USERNAME=root -fi - -su -c "mkdir -p $VESPA_DIR/.ccache" - $USERNAME -su -c "ln -sf $VESPA_DIR/.ccache \$HOME/.ccache" - $USERNAME - -su -c "mkdir -p $VESPA_DIR/.m2" - $USERNAME -su -c "ln -sf $VESPA_DIR/.m2 \$HOME/.m2" - $USERNAME - -su $USERNAME - |