Skip to content

Commit f49c10d

Browse files
authored
Fix documentation deployment post new drone.yml
1 parent 4757a6b commit f49c10d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

project/scripts/genDocs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ set -e
66
# set extended glob, needed for rm everything but x
77
shopt -s extglob
88

9-
if [ "$1" = "test" ]; then
9+
if [ "$1" = ";dotty-compiler/testOnly dotty.tools.dotc.CompilationTests" ]; then
1010

1111
# make sure that BOT_PASS is set
1212
if [ -z ${2+x} ]; then

0 commit comments

Comments
 (0)