-
- Downloads
[kernel] Minimalist fix for issue #297: CPP env does not have -C
if CPP is set at runtime, we do not assume that it has options to keep comments. Moreover, if CPP + default args (`-C -I.`) is equal to the default computed at compile time, we use the appropriate flags for `is_gnu_like` and `keep_comments`
Showing
- Makefile.generating 1 addition, 0 deletionsMakefile.generating
- configure.in 2 additions, 0 deletionsconfigure.in
- share/Makefile.config.in 1 addition, 0 deletionsshare/Makefile.config.in
- src/kernel_internals/runtime/config.ml.in 15 additions, 5 deletionssrc/kernel_internals/runtime/config.ml.in
- src/kernel_internals/runtime/config.mli 7 additions, 0 deletionssrc/kernel_internals/runtime/config.mli
- src/kernel_services/ast_queries/file.ml 6 additions, 13 deletionssrc/kernel_services/ast_queries/file.ml
Loading
Please register or sign in to comment