diff options
| author | Hugo Gualandi <hugo_musso_gualandi@hotmail.com> | 2021-02-06 16:06:01 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-06 19:06:01 +0000 |
| commit | 77c034884b49dee0af6bc1024884921079cc9bdb (patch) | |
| tree | 2dfc4eb77e1c4f68d8d5d58e549b9b8e79b6b6ac /doc | |
| parent | 8beb67b4d105abae69b6248655c1d2d1ebfb067d (diff) | |
| download | ale-77c034884b49dee0af6bc1024884921079cc9bdb.zip | |
Bugfix: ParseCFlagsFromMakeOutput was never being called (#3574)
Previously, the make output was never being parsed, even when the
`c_parse_makefile` option was set.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions