diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-06-22 14:56:46 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-06-22 14:56:46 +0200 |
| commit | fd059a38477d0a267262a4555f7896f0f256f10e (patch) | |
| tree | a03ab15d21e9c223d4943c4ad75a831f1716efb4 /bin | |
| parent | 844bcbdfd1d120e6a64ee21d2e609462fce15fb3 (diff) | |
| download | dotty-fd059a38477d0a267262a4555f7896f0f256f10e.tar.gz dotty-fd059a38477d0a267262a4555f7896f0f256f10e.tar.bz2 dotty-fd059a38477d0a267262a4555f7896f0f256f10e.zip | |
Fix #1327: redirect stderr from find_jar
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 dfca4ab43..aad672e40 100755 --- a/bin/common +++ b/bin/common @@ -29,7 +29,7 @@ function find_jar { local artifact="$1/$2" if [ ! -f "$artifact" ]; then - artifact=$(find "$HOME/.coursier/cache" -iname "$2") + artifact=$(find "$HOME/.coursier/cache" -iname "$2" 2> /dev/null) fi echo "$artifact" |