diff options
| -rw-r--r-- | Configurations/15-android.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Configurations/15-android.conf b/Configurations/15-android.conf index 89c5d0ad89..d3b428b6cb 100644 --- a/Configurations/15-android.conf +++ b/Configurations/15-android.conf @@ -24,8 +24,8 @@ my $ndk = $ENV{ANDROID_NDK}; die "\$ANDROID_NDK is not defined" if (!$ndk); - $ndk = canonpath($ndk); die "\$ANDROID_NDK=$ndk is invalid" if (!-d "$ndk/platforms"); + $ndk = canonpath($ndk); my $ndkver = undef; |