diff options
| author | Rickard Green <[email protected]> | 2017-01-25 15:05:50 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2017-01-25 15:05:50 +0100 |
| commit | cd4a95b0abb45f07eef8a77991c2be8f5dea575e (patch) | |
| tree | 0f0626fc7963a25e45f1b9d113ffaea09d318248 /lib/os_mon | |
| parent | dd2e2b74fe6e97f13ab00f98a049604cf61fb43d (diff) | |
| parent | 23cfe2138c71861684f55a298b55203b4649a645 (diff) | |
| download | otp-cd4a95b0abb45f07eef8a77991c2be8f5dea575e.tar.gz otp-cd4a95b0abb45f07eef8a77991c2be8f5dea575e.tar.bz2 otp-cd4a95b0abb45f07eef8a77991c2be8f5dea575e.zip | |
Merge branch 'rickard/android-missing-page-size-workaround' into maint
OTP-14165
* rickard/android-missing-page-size-workaround:
Workaround for buggy android implementation of PTHREAD_STACK_MIN
Diffstat (limited to 'lib/os_mon')
0 files changed, 0 insertions, 0 deletions