On Fri, 6 Oct 2000, Domenico Andreoli wrote:

> [dom@grullo ~]$ curl --proxy proxy.libero.it:8080 http://www.slashdot.org
> curl: option --proxy is ambiguous
> curl: try 'curl --help' for more information

Yes.

The command line parser for long options started doing this when I added the
--proxytunnel option in 7.3...

Anyway, I believe the attached patch corrects this problem. It will be
included in the upcoming version 7.4.

Thanks for bringing this to my attention!

-- 
  Daniel Stenberg -- curl project maintainer -- http://curl.haxx.se/