Use $(PYTHON) to run calibrate, rather than relying on it finding python itself
[ghc.git] / testsuite / timeout /
drwxr-xr-x   ..
-rw-r--r-- 71 Calibrate.hs
-rw-r--r-- 525 Makefile
-rw-r--r-- 389 calibrate
-rw-r--r-- 3631 timeout.hs
-rw-r--r-- 640 timeout.py