>I finally managed to get execline to compile - turns out there was an 
>error in the options I had passed to configure:
  I'm relieved. If it had been a bug, it would have been quite nasty
to solve. ;)
  Thanks for the info.
--
  Laurent
Received on Wed May 03 2017 - 08:55:36 UTC