Skip to content

Instantly share code, notes, and snippets.

/4.patch.txt
Created Aug 6, 2012

Embed
What would you like to do?
4.patch
--- gcc-4.7.1/configure.orig 2012-07-04 04:48:09.325023491 +0000
+++ gcc-4.7.1/configure 2012-07-04 04:52:44.766013766 +0000
@@ -5681,8 +5681,8 @@
if test "$enable_ppl_version_check" != no; then
saved_CFLAGS="$CFLAGS"
CFLAGS="$CFLAGS $pplinc $gmpinc"
- { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.11 (revision 0 or later) of PPL" >&5
-$as_echo_n "checking for version 0.11 (revision 0 or later) of PPL... " >&6; }
+ { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 1.0 of PPL" >&5
+$as_echo_n "checking for version 1.0 of PPL... " >&6; }
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
/* end confdefs.h. */
#include "ppl_c.h"
@@ -5690,7 +5690,7 @@
main ()
{
- #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 11
+ #if PPL_VERSION_MAJOR != 1
choke me
#endif
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.