From 63540141578333111bc6285aa6e275ea4914272f Mon Sep 17 00:00:00 2001 From: kiyohara Date: Tue, 24 Jun 2014 12:54:56 +0000 Subject: [PATCH] Revert previous commit. Requested by matt@. --- external/lgpl3/gmp/dist/configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/lgpl3/gmp/dist/configure b/external/lgpl3/gmp/dist/configure index 180402de780b..d0f455196bea 100755 --- a/external/lgpl3/gmp/dist/configure +++ b/external/lgpl3/gmp/dist/configure @@ -4142,7 +4142,7 @@ echo "include_mpn(\`alpha/default.m4')" >> $gmp_tmpconfigm4i ;; - arm*-*-* | earm*-*-*) + arm*-*-*) gcc_cflags="$gcc_cflags $fomit_frame_pointer" gcc_cflags_optlist="arch tune" gcc_cflags_maybe="-marm"