search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Fix runtests script for Mac OS X #49

Closed justjoheinz closed 7 years ago

justjoheinz commented 7 years ago

timeout is called gtimeout on Mac OS X

ziman commented 7 years ago

Thank you!