diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 04699cb3e4..8698c6a38d 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -843,7 +843,7 @@ androidcc () { | |||
843 | endian="little" | 843 | endian="little" |
844 | gcctarget="i686-linux-android-" | 844 | gcctarget="i686-linux-android-" |
845 | echo "${make_toolchain} --toolchain=x86-${gccchoice} --platform=android-android-$ANDROID_PLATFORM_VERSION --install-dir=${pwd}/android-toolchain" | 845 | echo "${make_toolchain} --toolchain=x86-${gccchoice} --platform=android-android-$ANDROID_PLATFORM_VERSION --install-dir=${pwd}/android-toolchain" |
846 | ${make_toolchain} --toolchain=x86-${gccchoice} --platform=android-android-$ANDROID_PLATFORM_VERSION --install-dir=${pwd}/android-toolchain | 846 | ${make_toolchain} --toolchain=x86-${gccchoice} --platform=android-$ANDROID_PLATFORM_VERSION --install-dir=${pwd}/android-toolchain |
847 | if [ ${?} != 0 ]; then | 847 | if [ ${?} != 0 ]; then |
848 | exit | 848 | exit |
849 | fi | 849 | fi |