diff options
author | 2017-03-24 20:17:42 +0000 | |
---|---|---|
committer | 2017-03-24 20:17:42 +0000 | |
commit | 27c2b900b293a83d23990eba3b4492fa65bbf413 (patch) | |
tree | c9d8cf3fad171cf14494cb2e02a824889e595d73 /prototypes/xci/xci-deploy.sh | |
parent | ed77a7078497572a8d534ea234fe76f9969713b6 (diff) | |
parent | af43f43798ccb6a012dcb072f84c116f7e3ca46a (diff) |
Merge "xci: Set up the basics for xci developer sandbox"
Diffstat (limited to 'prototypes/xci/xci-deploy.sh')
-rwxr-xr-x | prototypes/xci/xci-deploy.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/prototypes/xci/xci-deploy.sh b/prototypes/xci/xci-deploy.sh new file mode 100755 index 000000000..34149f22f --- /dev/null +++ b/prototypes/xci/xci-deploy.sh @@ -0,0 +1,17 @@ +#!/bin/bash +set -o errexit +set -o nounset +set -o pipefail +set -o xtrace + +# find where are we +XCI_PATH="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" + +# source pinned versions +source $XCI_PATH/config/pinned-versions + +# source user vars +source $XCI_PATH/config/user-vars + +# source flavor configuration +source $XCI_PATH/flavors/$XCI_FLAVOR.sh |