Fix: #12084 deprecate old profiling flags
[ghc.git] / testsuite / config /
drwxr-xr-x   ..
-rw-r--r-- 30 bad.ps
-rw-r--r-- 7964 ghc
-rw-r--r-- 33 good.ps