Skip to content
Commit acfe0d3b authored by Fangrui Song's avatar Fangrui Song
Browse files

[openmp] Remove __ANDROID_API__ < 19 workaround

https://github.com/android/ndk/wiki/Changelog-r24 shows that the NDK has
moved forward to at least a minimum target API of 19. Remove old workaround.
parent 7332b18f
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment