I ended up reinstating the strategy that chooses ‘glibtoolize’ based on
‘uname -s’.  Let me know what you think.

Thanks,
Ludo’.


Reply via email to