diff options
| author | Josh Suereth <Joshua.Suereth@gmail.com> | 2012-11-14 00:12:08 -0800 |
|---|---|---|
| committer | Josh Suereth <Joshua.Suereth@gmail.com> | 2012-11-14 00:12:08 -0800 |
| commit | a1710cde2842b1a6e5c473a12ea392eeffe8bcee (patch) | |
| tree | 8b942086f2dcad83d96e06c4ddc56711d354a1cf | |
| parent | ea87ecbe818f7445156d6c2548e429a8ca54595d (diff) | |
| parent | bb4d2e7ff0982cbdc390c3d86949bf56f6d814ea (diff) | |
| download | scala-a1710cde2842b1a6e5c473a12ea392eeffe8bcee.tar.gz scala-a1710cde2842b1a6e5c473a12ea392eeffe8bcee.tar.bz2 scala-a1710cde2842b1a6e5c473a12ea392eeffe8bcee.zip | |
Merge pull request #1601 from cunei/patch-1
Update tools/epfl-publish
| -rwxr-xr-x | tools/epfl-publish | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/epfl-publish b/tools/epfl-publish index de5e17b13f..cdf18823a5 100755 --- a/tools/epfl-publish +++ b/tools/epfl-publish @@ -24,7 +24,7 @@ if [[ -z $publish_to ]]; then else echo "Publishing nightly build to $publish_to" # Archive Scala nightly distribution - rsync -az dists/archives/ "$publish_to/distributions" + 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 |