On Thu, Feb 13, 2020 at 3:42 AM Andreas Schwab <schwab@suse.de> wrote:
> > +# Find an unused port
> > +set port 7999
> > +set found 0
> > +while { ! $found } {
> > +  incr port
> > +  if { $port == 65536 } {
> > +    fail "$test (no available ports)"
>
> That should be unsupported or untested, not fail.

Thanks Andreas, I've updated the patch.

Aaron