diff options
Diffstat (limited to 'android-configure.sh')
-rwxr-xr-x | android-configure.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/android-configure.sh b/android-configure.sh index 9510ece..38af78e 100755 --- a/android-configure.sh +++ b/android-configure.sh @@ -22,7 +22,6 @@ OPTION_IGNORE_AUDIO=no OPTION_NO_PREBUILTS=no OPTION_TRY_64=no OPTION_HELP=no -OPTION_DEBUG=no OPTION_STATIC=no OPTION_MINGW=no @@ -60,8 +59,6 @@ for opt do ;; --no-strip) OPTION_NO_STRIP=yes ;; - --debug) OPTION_DEBUG=yes - ;; --ignore-audio) OPTION_IGNORE_AUDIO=yes ;; --no-prebuilts) OPTION_NO_PREBUILTS=yes @@ -541,6 +538,10 @@ if [ $TARGET_ARCH = x86 ] ; then echo "TARGET_ARCH := x86" >> $config_mk fi +if [ $TARGET_ARCH = mips ] ; then +echo "TARGET_ARCH := mips" >> $config_mk +fi + echo "HOST_PREBUILT_TAG := $TARGET_OS" >> $config_mk echo "HOST_EXEEXT := $TARGET_EXEEXT" >> $config_mk echo "PREBUILT := $ANDROID_PREBUILT" >> $config_mk |