Skip to content
Snippets Groups Projects
Commit 59b8573e authored by Andre Maroneze's avatar Andre Maroneze Committed by David Bühler
Browse files

[Doc/Userman] Add clarification about -json-compilation-database

parent e7ae822a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
doc/userman/user-sources.tex
+ 3
− 1
View file @ 59b8573e
...@@ -98,7 +98,9 @@ the compilation database and include associated preprocessing flags, ...@@ -98,7 +98,9 @@ the compilation database and include associated preprocessing flags,
as if they had been manually added via \texttt{-cpp-extra-args-per-file}. as if they had been manually added via \texttt{-cpp-extra-args-per-file}.
Note: if both \texttt{-cpp-extra-args-per-file} and the JSON compilation Note: if both \texttt{-cpp-extra-args-per-file} and the JSON compilation
database specify options for a given file, the former are used and the latter database specify options for a given file, the former are used and the latter
are ignored. are ignored. Also note that the use of the database simply adds flags
{\em for the files specified in the command-line}, but these files must still
be specified by the user.
In all of the above cases, In all of the above cases,
\acsl annotations are pre-processed by default (option \optiondef{-}{pp-annot} \acsl annotations are pre-processed by default (option \optiondef{-}{pp-annot}
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment