On Jul 27, 2023, at 5:44 AM, Antoine Jacoutot <[email protected]> wrote: > > Hi. > > It seems gmkdir is picked up if present at configure time. > If junked then the build fails with:
Thanks. Fix committed. I’ll look over 1.8 and 17 for similar corrections as well.
