diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-03-29 15:44:25 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-29 15:44:25 +0200 |
commit | f49c10d1667de897b2073d9b15c7c6cb8cc52482 (patch) | |
tree | bc647fab8e8db78022eac5a93a78a46b90200de1 /project/scripts/genDocs | |
parent | 4757a6b470f022bd3178fba843f33638d24ee735 (diff) | |
download | dotty-f49c10d1667de897b2073d9b15c7c6cb8cc52482.tar.gz dotty-f49c10d1667de897b2073d9b15c7c6cb8cc52482.tar.bz2 dotty-f49c10d1667de897b2073d9b15c7c6cb8cc52482.zip |
Fix documentation deployment post new drone.yml
Diffstat (limited to 'project/scripts/genDocs')
-rwxr-xr-x | project/scripts/genDocs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/scripts/genDocs b/project/scripts/genDocs index d18a583be..73e034276 100755 --- a/project/scripts/genDocs +++ b/project/scripts/genDocs @@ -6,7 +6,7 @@ set -e # set extended glob, needed for rm everything but x shopt -s extglob -if [ "$1" = "test" ]; then +if [ "$1" = ";dotty-compiler/testOnly dotty.tools.dotc.CompilationTests" ]; then # make sure that BOT_PASS is set if [ -z ${2+x} ]; then |