-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Commit d0bd333
unix-ffi/machine/machine/timer.py: Use libc if librt is not present.
Newer implementations of libc integrate the functions from librt, for
example glibc since 2.17 and uClibc-ng. So if the librt.so cannot be
loaded, it can be assumed that libc contains the expected functions.
Signed-off-by: Bas van Doren <basvdoren@gmail.com>1 parent 96e17b6 commit d0bd333
1 file changed
+4
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
8 | - | ||
8 | + | ||
9 | + | ||
10 | + | ||
11 | + | ||
9 | 12 | | |
10 | 13 | | |
11 | 14 | | |
| |||
0 commit comments