deleted: tests/unit-fail-compilation/kcc_config

[charala1]

No description provided.

[dwightguth]

can we put files with this name in .gitignore too?

[charala1]

Done!

…

On Mon, Jun 17, 2019 at 12:18 PM dwightguth ***@***.***> wrote: can we put files with this name in .gitignore too? — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#473?email_source=notifications&email_token=ACJYIFBAXJ7EPEYWLPYN6S3P27BNDA5CNFSM4HYYSFKKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODX33O5I#issuecomment-502773621>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ACJYIFFAVME2F42BXFQEP33P27BNDANCNFSM4HYYSFKA> .

[chathhorn]

This was added to prevent differences in error messages depending on whether that file was produced or not. It might not be needed anymore because I think we're chopping that line now anyway, but please verify locally -- these tests are run on rv-match, not in the c-sem pr job.

[charala1]

This was added to prevent differences in error messages depending on whether that file was produced or not. It might not be needed anymore because I think we're chopping that line now anyway, but please verify locally -- these tests are run on rv-match, not in the c-sem pr job.

@chathhorn what should I verify then? That the file is not produced, or something else?

[charala1]

Closing in favor of issue #492