From 2d3c61b3f2e00099466bec493070889c7a638e0a Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Sun, 8 Feb 2015 17:03:38 +0100 Subject: [PATCH] armv7 -> armv7-a --- dist-build/Makefile.am | 2 +- dist-build/{android-armv7.sh => android-armv7-a.sh} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename dist-build/{android-armv7.sh => android-armv7-a.sh} (100%) diff --git a/dist-build/Makefile.am b/dist-build/Makefile.am index 8cec3187..52c67545 100644 --- a/dist-build/Makefile.am +++ b/dist-build/Makefile.am @@ -2,7 +2,7 @@ EXTRA_DIST = \ android-build.sh \ android-arm.sh \ - android-armv7.sh \ + android-armv7-a.sh \ android-x86.sh \ android-mips32.sh \ emscripten.sh \ diff --git a/dist-build/android-armv7.sh b/dist-build/android-armv7-a.sh similarity index 100% rename from dist-build/android-armv7.sh rename to dist-build/android-armv7-a.sh