plugin directory [ping^2]

[Basile STARYNKEVITCH]

Hello All

I am pinging again the patch  http://gcc.gnu.org/ml/gcc-patches/2009-12/msg00253.html which is a minuscule improvement 
(comments & typos) over http://gcc.gnu.org/ml/gcc-patches/2009-12/msg00069.html

The http://gcc.gnu.org/ml/gcc-patches/2009-12/msg00253.html patch provide the following stuff:

The gcc driver is slightly enhanced to pass -iplugindir <plugindirname> to cc1 (etc..) when having -fplugin

The common.opt has a new (internal) -iplugindir option.

The gcc-plugin.h has a new plugin_directory_name() public function trivially implemented in plugin.c

Regards.

-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***