bash completion for make targets

Thu Nov 8 11:13:11 UTC 2018

On 2018-11-08 12:10, Thomas Stüfe wrote:

> Hi all,
>
> This may be a stupid question, and not that important, but bash
> completion for targets like "clean" and "images" stopped working for
> me. "reconfigure" still works thouugh. Did anything change?
>
> Best Regards, Thomas
Not intentionally. It can be that there were too many targets. Does the 
recent fix for JDK-8213338 help?

/Magnus