diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-21 17:38:07 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:08 +0100 |
commit | 799bd1a5039ee6250bdc48c7ff85797d699307ad (patch) | |
tree | c0a0c970761e9afcdadcde8f8c12eca8047d7d99 /bin | |
parent | f582ee010a933af991182a32d514bf92e255a07b (diff) | |
download | dotty-799bd1a5039ee6250bdc48c7ff85797d699307ad.tar.gz dotty-799bd1a5039ee6250bdc48c7ff85797d699307ad.tar.bz2 dotty-799bd1a5039ee6250bdc48c7ff85797d699307ad.zip |
Fix script choosing wrong artefact
Depending on order, scripts might choose the wrong jar (i.e. test
instead of non test). This commit addresses that by sedding away
results which have `javadoc` or `tests` in the jar name
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/common b/bin/common index 3b7f226cb..1cb79fc14 100755 --- a/bin/common +++ b/bin/common @@ -58,7 +58,7 @@ function build_jar { local sedjar="$3" if [ "$sedjar" == "" ]; then - sedjar="/.*\.jar/p" + sedjar="/tests/d; /javadoc/d; /.*\.jar/p" fi if [ "$jar" == "" ]; then |