From cd70ba89427d88b404a2d42eada13ff17c53717a Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Tue, 27 Aug 2019 08:28:05 +0000 Subject: [PATCH] Remove no-longer-used build.sh --- automated/build.sh | 150 --------------------------------------------- 1 file changed, 150 deletions(-) delete mode 100755 automated/build.sh diff --git a/automated/build.sh b/automated/build.sh deleted file mode 100755 index 769c2fcd..00000000 --- a/automated/build.sh +++ /dev/null @@ -1,150 +0,0 @@ -#!/usr/bin/env bash - -set -eu +x - -ROOT=$(cd $(dirname $0) ; pwd) -TARGET=$1 - -source aws.sh - -# For nightly-YYYY-MM-DD, tag should be nightly -# For lts-X.Y, tag should be ltsX -SHORTNAME=$(echo $TARGET | cut -d- -f 1) -if [ $SHORTNAME = "lts" ] -then - TAG=$(echo $TARGET | sed 's@^lts-\([0-9]*\)\.[0-9]*@lts\1@') -else - TAG=$SHORTNAME -fi - -IMAGE=commercialhaskell/stackage:$TAG - -PLAN_FILE=current-plan.yaml -DOCMAP_FILE=current-docmap.yaml - -CABAL_DIR=$ROOT/cabal -STACK_DIR=$ROOT/stack -GHC_DIR=$ROOT/ghc -DOT_STACKAGE_DIR=$ROOT/dot-stackage -WORKDIR=$ROOT/$TAG/work -EXTRA_BIN_DIR=$ROOT/extra-bin -SSH_DIR=$ROOT/ssh-$SHORTNAME -USERID=$(id -u) - -mkdir -p \ - "$CABAL_DIR" \ - "$STACK_DIR" \ - "$GHC_DIR" \ - "$DOT_STACKAGE_DIR" \ - "$WORKDIR" \ - "$EXTRA_BIN_DIR" \ - "$SSH_DIR" - -GITCONFIG=$ROOT/gitconfig -cat >$GITCONFIG <$SSH_DIR/known_hosts <