tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / driver /
drwxr-xr-x   ..
-rw-r--r-- 3884 kill_extra_files.py
-rw-r--r-- 12240 runtests.py
-rw-r--r-- 7923 testglobals.py
-rw-r--r-- 70771 testlib.py
-rw-r--r-- 2484 testutil.py