CI: Always dump performance metrics.
[ghc.git] / testsuite / tests / driver / T5147 /
drwxr-xr-x   ..
-rw-r--r-- 80 A.hs
-rw-r--r-- 134 B1.hs
-rw-r--r-- 156 B2.hs
-rw-r--r-- 496 Makefile
-rw-r--r-- 174 T5147.stderr
-rw-r--r-- 76 all.T