diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 36e951e4d2..07d90b26ef 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -4816,6 +4816,7 @@ export ANDROID_ARCH=${ANDROID_ARCH} | |||
4816 | export ANDROID_NDK_PATH=${ANDROID_NDK_PATH} | 4816 | export ANDROID_NDK_PATH=${ANDROID_NDK_PATH} |
4817 | export ANDROID_SDK_PATH=${ANDROID_SDK_PATH} | 4817 | export ANDROID_SDK_PATH=${ANDROID_SDK_PATH} |
4818 | export ANDROID_PLATFORM_VERSION=${ANDROID_PLATFORM_VERSION} | 4818 | export ANDROID_PLATFORM_VERSION=${ANDROID_PLATFORM_VERSION} |
4819 | export TOOLSET=${toolset} | ||
4819 | 4820 | ||
4820 | CONFIGURE_OPTIONS=${cmdline} | 4821 | CONFIGURE_OPTIONS=${cmdline} |
4821 | 4822 | ||