NTULINUX/RTAI — pull request #2 by jepler (2014-08-23 13:43:30+00:00)
Title: Remove cut & paste copies of non-free code

.. rather than using this implementation of isinf with dubious
provenance, we can depend on __builtin_isinf, which compiles to
an inline instruction sequence on i386, x86_64, and armhf.