Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-05-31 13:15:22 -0700 (Thu, 31 May 2007)
Revision: 10840
Log message:

      When passing a command line as a command line argument (e.g. with menhir's
     --ocamldep and --ocamlc options), we need to use $(quote-argv ...) instead of
     just $"..." to make sure that special symbols that are already quoted in the
     argument, get "double-quoted" appropriately.