aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorFelix Mulder <felix.mulder@gmail.com>2016-03-01 13:53:46 +0100
committerFelix Mulder <felix.mulder@gmail.com>2016-03-01 13:53:46 +0100
commitc652c2ecb7f4d835f8131a67c0537f10289c3dee (patch)
tree5ce8c6abd5d5f5e739630480b6be5211ffb21b16 /bin
parentba67e556271156c11f5f313f68891bf18f7a51d2 (diff)
downloaddotty-c652c2ecb7f4d835f8131a67c0537f10289c3dee.tar.gz
dotty-c652c2ecb7f4d835f8131a67c0537f10289c3dee.tar.bz2
dotty-c652c2ecb7f4d835f8131a67c0537f10289c3dee.zip
Fix `bin/dotc` checkjar of wrong package
Diffstat (limited to 'bin')
-rwxr-xr-xbin/dotc2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/dotc b/bin/dotc
index 61e84a19d..993f58df8 100755
--- a/bin/dotc
+++ b/bin/dotc
@@ -75,7 +75,7 @@ function checkjar {
fi
}
-checkjar $INTERFACES_JAR interfaces/package interfaces
+checkjar $INTERFACES_JAR dotty-interfaces/package interfaces
checkjar $MAIN_JAR package src
checkjar $TEST_JAR test:package test