Configurations/15-android.conf: fix implicit __ANDROID_API__ handling.
failed if one didn't pass
explicit -D__ANDROID_API__=N :-(
die "no $ndk/platforms/android-$api" if ($#platforms < 0);
$sysroot = "@platforms[$#platforms]/arch-$arch";
+ $sysroot =~ m|/android-([0-9]+)/arch-$arch|;
+ $api = $1;
}
die "no sysroot=$sysroot" if (!-d $sysroot);
