From ddd99692bc3e1246c2ccb5e551512f35b4f7959a Mon Sep 17 00:00:00 2001
From: notaz
Date: Wed, 21 Nov 2012 02:38:10 +0200
Subject: plugins: drop arch filename extensions

they do more harm than good
---
 configure | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 42ab9f5..9668a27 100755
--- a/configure
+++ b/configure
@@ -449,15 +449,7 @@ echo "ARCH = $ARCH" >> $config_mak
 echo "PLATFORM = $platform" >> $config_mak
 echo "BUILTIN_GPU = $builtin_gpu" >> $config_mak
 echo "SOUND_DRIVERS = $sound_drivers" >> $config_mak
-if [ "$ARCH" = "arm" ]; then
-  echo "PLUGINS = $plugins" >> $config_mak
-else
-  echo -n "PLUGINS =" >> $config_mak
-  for p in $plugins; do
-    echo -n " ${p}.${ARCH}" >> $config_mak
-  done
-  echo >> $config_mak
-fi
+echo "PLUGINS = $plugins" >> $config_mak
 if [ "$have_armv6" = "yes" ]; then
   echo "HAVE_ARMV6 = 1" >> $config_mak
 fi
-- 
cgit v1.2.3