This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[committed]: Fix use of $GMPINC in plugin-support.exp
- From: Diego Novillo <dnovillo at google dot com>
- To: gcc-patches at gcc dot gnu dot org, Le-Chun Wu <lcwu at google dot com>
- Date: Wed, 6 May 2009 14:13:02 -0400
- Subject: [committed]: Fix use of $GMPINC in plugin-support.exp
Le Chun noticed an erroneous use of $GMPINC in plugin-support.exp.
GMPINC already includes -I, so a second one is not needed.
Committed as obvious.
Diego.
* lib/plugin-support.exp: Do not prefix $GMPINC with -I.
Index: testsuite/lib/plugin-support.exp
===================================================================
--- testsuite/lib/plugin-support.exp (revision 147185)
+++ testsuite/lib/plugin-support.exp (working copy)
@@ -82,7 +82,7 @@ proc plugin-test-execute { plugin_src pl
set gcc_objdir "$objdir/../../.."
set includes "-I. -I${srcdir} -I${gcc_srcdir}/gcc -I${gcc_objdir}/gcc \
-I${gcc_srcdir}/include -I${gcc_srcdir}/libcpp/include \
- -I$GMPINC"
+ $GMPINC"
set optstr "$includes $extra_flags -DIN_GCC -fPIC -shared"