On Friday 07 Feb 2020 at 13:22:12 (-0500), Nicolas Pitre wrote: > This "[[ ]]" is a bashism. I think there was an effort not to depend on > bash for the build system. OK, I see. > So either this needs to be changed to basic > bourne shell, or the interpretor has to be /bin/bash not /bin/sh. So, as per the above, the basic bourne shell option sounds preferable, I'll go fix this for v4. Thanks, Quentin