diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2013-10-28 10:04:10 +0100 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2013-10-28 11:47:49 +0100 |
| commit | ca7a549ef79401fef98c614b1a4dcc708e62ed03 (patch) | |
| tree | 557138d49e5f8fa3069422550bd623f335cbf134 /tools/epfl-publish | |
| parent | f65bf3aab2060c341840bf5173e31c2b3d90a537 (diff) | |
| download | scala-ca7a549ef79401fef98c614b1a4dcc708e62ed03.tar.gz scala-ca7a549ef79401fef98c614b1a4dcc708e62ed03.tar.bz2 scala-ca7a549ef79401fef98c614b1a4dcc708e62ed03.zip | |
Remove outdated build scripts.
Only used on the 2.9.x series:
/code/jenkins-config grep -R epfl-build .
./jobs/scala-nightly-checkinit-2.9.x/config.xml: <command>./tools/epfl-build 2.9.x -Xcheckinit</command>
./jobs/scala-nightly-main-2.9.x/config.xml:./tools/epfl-build 2.9.x && ./tools/epfl-publish 2.9.x
/code/jenkins-config grep -R epfl-publish .
./jobs/scala-nightly-main-2.9.x/config.xml:./tools/epfl-build 2.9.x && ./tools/epfl-publish 2.9.x
Diffstat (limited to 'tools/epfl-publish')
| -rwxr-xr-x | tools/epfl-publish | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/tools/epfl-publish b/tools/epfl-publish deleted file mode 100755 index cdf18823a5..0000000000 --- a/tools/epfl-publish +++ /dev/null @@ -1,32 +0,0 @@ -#!/usr/bin/env bash -# -# publishes nightly build if $publish_to is set in environment. -# - -[[ $# -eq 1 ]] || { - cat <<EOM -Usage: $0 <scala version> - -Environment variables: - publish_to rsync destination -EOM - exit 0 -} -version="$1" - -[[ -d dists/archives ]] || { - echo "Can't find build, has it completed? No directory at dists/archives" - exit 1 -} - -if [[ -z $publish_to ]]; then - echo "Nothing to publish." -else - echo "Publishing nightly build to $publish_to" - # Archive Scala nightly distribution - rsync -az --exclude scala-latest-sources.tgz dists/archives/ "$publish_to/distributions" - # only publish scaladoc nightly for trunk - [[ $version == "master" ]] && rsync -az build/scaladoc/ "$publish_to/docs" - # sbaz - [[ -d dists/sbaz ]] && rsync -az dists/sbaz/ "$publish_to/sbaz" -fi |