diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-18 08:25:50 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-18 08:25:50 +0200 |
commit | e5f47972f63702afba99c291b81ff5a61506699f (patch) | |
tree | 3737a7b830fc362b8686145e36be3fcda4dbeaa8 /odb/validator.cxx | |
parent | 060bb7eb4d008fbd4a9fa8ef7c5e33c9e483eb52 (diff) |
Work around GCC bug 86441
Diffstat (limited to 'odb/validator.cxx')
-rw-r--r-- | odb/validator.cxx | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/odb/validator.cxx b/odb/validator.cxx index 9c20714..bf9aa6b 100644 --- a/odb/validator.cxx +++ b/odb/validator.cxx @@ -1655,6 +1655,9 @@ namespace // temporarily redirect diagnostics to /dev/null, which is // where asm_out_file points to (see plugin.cxx). // + // Needless to say, this is very hacky and we should quickly fail + // (as we do below) if there were errors. + // int ec (errorcount); FILE* s (global_dc->printer->buffer->stream); global_dc->printer->buffer->stream = asm_out_file; |