-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
-if [ "$have_armv6" = "yes" ]; then
- echo "HAVE_ARMV6 = 1" >> $config_mak
-fi
-if [ "$have_armv7" = "yes" ]; then
- echo "HAVE_ARMV7 = 1" >> $config_mak
-fi