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

Reply via email to