1 #! /usr/bin/perl -i.bak
5 if ($ARGV ne $oldargv) {
9 Reading file "test/typechecker/t$filenum.hs":
14 # Make this script idempotent
15 next if /^Reading file "test\/typechecker\/t\d+\.hs":/;
18 s#test/T[A-Za-z0-9]*\.hs#test/typechecker/t$filenum.hs#g;
20 # Delete trailing line
21 s/^Hugs:\[Leaving Hugs\]\n//;