plugin-support.exp: Do not prefix $GMPINC with -I.
commitcb079a4db3ca5b1b59b16ab723eab74c3cd91588
authorDiego Novillo <dnovillo@google.com>
Wed, 6 May 2009 18:13:40 +0000 (6 14:13 -0400)
committerDiego Novillo <dnovillo@gcc.gnu.org>
Wed, 6 May 2009 18:13:40 +0000 (6 14:13 -0400)
treef895a2aa19e49f84ea230d0d021a2389eb629094
parent5416e9bec1c0e13c4c7c5e70d1db904432877fcb
plugin-support.exp: Do not prefix $GMPINC with -I.

* lib/plugin-support.exp: Do not prefix $GMPINC with -I.

From-SVN: r147197
gcc/testsuite/ChangeLog
gcc/testsuite/lib/plugin-support.exp