From 0fecc4e52281de85b91a2e500df745699169c77f Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Sun, 9 Feb 2020 12:15:01 +0000 Subject: [PATCH] Cleaner dir structure --- automated/build.sh | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/automated/build.sh b/automated/build.sh index b0d27c19..985d4873 100755 --- a/automated/build.sh +++ b/automated/build.sh @@ -5,7 +5,7 @@ set -eu +x -o pipefail ROOT=$(cd $(dirname $0) ; pwd) TARGET=$1 -source aws.sh +source work/aws.sh # For nightly-YYYY-MM-DD, tag should be nightly # For lts-X.Y, tag should be ltsX @@ -21,11 +21,11 @@ fi IMAGE=commercialhaskell/stackage:$TAG -PANTRY_DIR=$ROOT/stack/pantry -STACK_DIR=$ROOT/stack -DOT_STACKAGE_DIR=$ROOT/dot-stackage +PANTRY_DIR=$ROOT/work/stack/pantry +STACK_DIR=$ROOT/work/stack +DOT_STACKAGE_DIR=$ROOT/work/dot-stackage # ssh key is used for committing snapshots (and their constraints) to Github -SSH_DIR=$ROOT/ssh +SSH_DIR=$ROOT/work/ssh USERID=$(id -u) mkdir -p \ @@ -35,14 +35,14 @@ mkdir -p \ "$WORKDIR" \ "$SSH_DIR" -GITCONFIG=$ROOT/gitconfig +GITCONFIG=$ROOT/work/gitconfig cat >$GITCONFIG <