diff options
author | Martin Odersky <odersky@gmail.com> | 2015-05-29 15:56:15 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-05-29 15:56:15 +0200 |
commit | 3350907bf1ec570a7a7f645c57f74a620cc49664 (patch) | |
tree | 391a4091cfaca9a675011d192226a40a031dd232 /scripts | |
parent | d471211cf023a9aaf2c866fb0360cfed306d17d7 (diff) | |
download | dotty-3350907bf1ec570a7a7f645c57f74a620cc49664.tar.gz dotty-3350907bf1ec570a7a7f645c57f74a620cc49664.tar.bz2 dotty-3350907bf1ec570a7a7f645c57f74a620cc49664.zip |
Stop running scala/scala tests instead of our junit tests.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/common | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/common b/scripts/common index 50b13f8d7..4924538f0 100755 --- a/scripts/common +++ b/scripts/common @@ -9,6 +9,7 @@ update() { git fetch --tags "https://github.com/$1/$2.git" (git fetch "https://github.com/$1/$2.git" $4 && git checkout -fq FETCH_HEAD) #|| git checkout -fq $4 # || fallback is for local testing on tag git reset --hard + cd - } export LC_ALL=en_US.UTF-8 |