• ian@well-typed.com's avatar
    Tidy up some tests · 4200e0aa
    ian@well-typed.com authored
    We now use pre_cmd rather than cmd_prefix wherever possible.
    Also, pass "-s --no-print-directory" whenever we use pre_cmd.
    4200e0aa
all.T 6.43 KB