2017-07-21 18:37:14 +02:00
|
|
|
#!/bin/bash
|
2017-09-07 20:07:52 +02:00
|
|
|
# publish.sh builds and publishes a release.
|
2017-07-21 23:11:39 +02:00
|
|
|
set -e
|
2017-07-21 18:37:14 +02:00
|
|
|
|
2017-09-21 23:09:35 +02:00
|
|
|
PUBLISH=$GOPATH/src/github.com/pulumi/home/scripts/publish.sh
|
2017-09-07 20:07:52 +02:00
|
|
|
if [ ! -f $PUBLISH ]; then
|
|
|
|
>&2 echo "error: Missing publish script at $PUBLISH"
|
|
|
|
exit 1
|
|
|
|
fi
|
2017-07-21 18:37:14 +02:00
|
|
|
|
2017-09-08 06:29:50 +02:00
|
|
|
RELEASE_INFO=($($(dirname $0)/make_release.sh))
|
2017-09-07 20:07:52 +02:00
|
|
|
${PUBLISH} ${RELEASE_INFO[0]} pulumi-fabric ${RELEASE_INFO[@]:1}
|
2017-07-21 18:37:14 +02:00
|
|
|
|