Fix calibrate python script for non-UNIX machines
[ghc.git] / testsuite / timeout /
drwxr-xr-x   ..
-rw-r--r-- 513 Makefile
-rw-r--r-- 71 TimeMe.hs
-rw-r--r-- 611 calibrate
-rw-r--r-- 3631 timeout.hs
-rw-r--r-- 640 timeout.py