diff options
| author | Hugo Musso Gualandi <hugo_musso_gualandi@hotmail.com> | 2021-02-03 19:15:03 -0300 |
|---|---|---|
| committer | Hugo Musso Gualandi <hugo_musso_gualandi@hotmail.com> | 2021-02-03 19:15:03 -0300 |
| commit | 4c7e843fd08cd9ec1429c511cf1ab2e4c5250da7 (patch) | |
| tree | 11e53734daa9e643fb3700128679e3b790a41899 /ale_linters/fountain | |
| parent | 9b5c09047361f3ec2cf18afbb6d1e03047a59778 (diff) | |
| download | ale-4c7e843fd08cd9ec1429c511cf1ab2e4c5250da7.zip | |
Have c_parse_makefile look for GNUmakefile as well
Makefiles using GNU-make features might be called "GNUmakefile" instead
of "Makefile". This commit teaches the `c_parse_makefile` feature to
look for a GNUmakefile file if a Makefile is not present.
Diffstat (limited to 'ale_linters/fountain')
0 files changed, 0 insertions, 0 deletions