Always use the python timeout program on non-Windows
[ghc.git] / testsuite / timeout /
drwxr-xr-x   ..
-rw-r--r-- 1900 Makefile
-rw-r--r-- 87 Setup.hs
-rw-r--r-- 71 TimeMe.hs
-rw-r--r-- 5677 WinCBindings.hsc
-rw-r--r-- 641 calibrate
-rw-r--r-- 443 timeout.cabal
-rw-r--r-- 4743 timeout.hs
-rw-r--r-- 1022 timeout.py