On 2006-06-07, at 12:55 EDT, Benjamin Shine wrote:
> <arg value="${options}" /> didn't work? You really need to use the
> deprecated line form?
We're calling into code that is expecting argc/argv args and options
is a string. line makes that conversion for you.