Print something to stderr when a timeout happens
[ghc.git] / testsuite / timeout /
drwxr-xr-x   ..
-rw-r--r-- 380 Makefile
-rw-r--r-- 3631 timeout.hs
-rw-r--r-- 640 timeout.py