unix-ffi/machine/timer: Use libc if librt is not present#995

dpgeorge merged 1 commit intomicropython:mastermicropython/micropython-lib:masterfrom

basvd:fix-machine-timer-ffi-librtbasvd/micropython-lib:fix-machine-timer-ffi-librtCopy head branch name to clipboard