PING: Allow multiple tool_opts in dejagnu

[Janis Johnson]

On Thu, Mar 03, 2005 at 06:35:18PM -0500, Matthew Sachs wrote:
> Haven't heard anything re: this patch.   Without this, 
> "--tool_opts=-foo -bar" doesn't work.  Original posting at 
> <http://gcc.gnu.org/ml/gcc-patches/2005-02/msg01045.html>; revised 
> changelog entry at 
> <http://gcc.gnu.org/ml/gcc-patches/2005-02/msg01055.html>.

OK, but please change treelang.exp in the same way since it already
does things the same as gcc.exp and objc.exp.

Janis