"Failed to open portfile from registry" while reinstalling because of configure.optflags

[Lawrence Velázquez]

> On Oct 25, 2016, at 1:17 PM, René J.V. Bertin <rjvbertin at gmail.com> wrote:
> 
> I've looked into putting the offending statement (`$workername eval set user_options($opt) $val`) in a loop, something like
> 
> $workername eval set user_options($opt) ""
> foreach v $val {
>        $workername eval set user_options($opt) "$user_options($opt) $v"
> }
> 
> but I haven't gotten that right yet.

I haven't looked at the offending code, but I can tell you that this
approach is inherently flawed and cannot work robustly. The issue is
unwanted double substitution; the solution must prevent this, not work
around it.

vq