We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 997d65c commit 2fef118Copy full SHA for 2fef118
src/maingoblint.ml
@@ -253,7 +253,6 @@ let preprocess_files () =
253
let rec preprocess_arg_file = function
254
| filename when Filename.basename filename = "Makefile" ->
255
let comb_file = MakefileUtil.generate_and_combine filename ~all_cppflags in
256
- (* The resulting dependency information will not be correctly tracked, because the merge happens in cilly *)
257
[basic_preprocess ~all_cppflags comb_file]
258
259
| filename when Filename.basename filename = CompilationDatabase.basename ->
0 commit comments