diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 61aa4e3acc7..828f2c2e8f2 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,7 @@
+2011-08-18  Richard Sandiford  <richard.sandiford@linaro.org>
+
+	* config/arm/bpabi-lib.h (RENAME_LIBRARY_SET): Delete.
+
 2011-08-17  Richard Sandiford  <richard.sandiford@linaro.org>
 
 	PR target/50090
diff --git a/libgcc/config/arm/bpabi-lib.h b/libgcc/config/arm/bpabi-lib.h
index 26183b39202..ebb177540de 100644
--- a/libgcc/config/arm/bpabi-lib.h
+++ b/libgcc/config/arm/bpabi-lib.h
@@ -20,12 +20,6 @@
    see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
    <http://www.gnu.org/licenses/>.  */
 
-#if defined (__thumb__)
-#define RENAME_LIBRARY_SET ".thumb_set"
-#else
-#define RENAME_LIBRARY_SET ".set"
-#endif
-
 /* Make __aeabi_AEABI_NAME an alias for __GCC_NAME.  */
 #define RENAME_LIBRARY(GCC_NAME, AEABI_NAME)		\
   typeof (__##GCC_NAME) __aeabi_##AEABI_NAME \