Pass the test name to the test options
[ghc.git] / testsuite / driver /
drwxr-xr-x   ..
-rw-r--r-- 9366 runtests.py
-rw-r--r-- 7587 testglobals.py
-rw-r--r-- 74234 testlib.py
-rw-r--r-- 946 testutil.py