On Tue, Apr 23, 2019 at 6:55 PM Waldek Kozaczuk
wrote:
> Hi,
>
> Could someone clean build tree on the build machine - './scripts/build
> clean'?
>
I'll clean it to solve the problem this time, but since this is a script
you're familiar with, can you please fix it? (see below my notes on what
ne
Hi,
Could someone clean build tree on the build machine - './scripts/build
clean'?
It looks like possible the website we download OpenJDK was not available or
something and left some garbage that now wget is not able to download over
(possibly our script has a bug there):
```
make[1]: Leaving
