ae2451
diff -r de35eae9048a config.sub
ae2451
--- a/config.sub	Wed Apr 24 23:33:20 2013 +0200
ae2451
+++ b/config.sub	Thu Apr 25 08:51:00 2013 +0200
ae2451
@@ -1008,7 +1008,7 @@
ae2451
 		;;
ae2451
 	ppc64)	basic_machine=powerpc64-unknown
ae2451
 		;;
ae2451
-	ppc64-*) basic_machine=powerpc64-`echo $basic_machine | sed 's/^[^-]*-//'`
ae2451
+	ppc64-* | ppc64p7-*) basic_machine=powerpc64-`echo $basic_machine | sed 's/^[^-]*-//'`
ae2451
 		;;
ae2451
 	ppc64le | powerpc64little | ppc64-le | powerpc64-little)
ae2451
 		basic_machine=powerpc64le-unknown