* lib/plugin-support.exp: Do not prefix $GMPINC with -I.
commit1d75aae96f670cb3389eeaecaf9ab6f751e4f898
authordnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 May 2009 18:13:40 +0000 (6 18:13 +0000)
committerdnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 May 2009 18:13:40 +0000 (6 18:13 +0000)
treef895a2aa19e49f84ea230d0d021a2389eb629094
parentc2c0a64651bb3b10d35ad1797c11730927526cff
* lib/plugin-support.exp: Do not prefix $GMPINC with -I.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147197 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/testsuite/ChangeLog
gcc/testsuite/lib/plugin-support.exp