Skip to content
  • pcapriotti's avatar
    Add combined_output option. · ef0d0b70
    pcapriotti authored
    Added an option to combine stdout and stderr into a single file. This is
    useful for ghci scripts that produce interleaved errors and normal
    output.
    
    Also modified check_stderr_ok so that it normalizes stderr in the same
    way as compile tests.
    ef0d0b70