From 3c786524acb7de770a111279dbccce25bf2d2f15 Mon Sep 17 00:00:00 2001
From: Alastair Bridgewater <nyef@arisu.lisphacker.com>
Date: Tue, 22 Nov 2011 10:32:56 -0500
Subject: [PATCH] linux: Enable :SB-FUTEX by default on PPC.

  * Prior to the great de-lutexification, we used futexes on
threaded Linux/PPC.  Not having them enabled on PPC was an
oversight, but one which highlighted some problems with the
non-futex threading code.  Now that that's fixed, we may as
well restore the status quo.
---
 make-config.sh |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/make-config.sh b/make-config.sh
index 3f1bc3f..157eea0 100644
--- a/make-config.sh
+++ b/make-config.sh
@@ -357,6 +357,9 @@ case "$sbcl_os" in
             x86 | x86-64)
 		printf ' :sb-thread :sb-futex :largefile' >> $ltf
 		;;
+            ppc)
+		printf ' :sb-futex' >> $ltf
+		;;
         esac
 
         if [ $sbcl_arch = "x86-64" ]; then
-- 
1.7.10.4