OSDN Git Service

* lib/plugin-support.exp: Do not prefix $GMPINC with -I.
authordnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 May 2009 18:13:40 +0000 (18:13 +0000)
committerdnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 May 2009 18:13:40 +0000 (18:13 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147197 138bc75d-0d04-0410-961f-82ee72b054a4


No differences found