Home
last modified time | relevance | path

Searched refs:DEBUG_FILE (Results 1 – 2 of 2) sorted by relevance

/linux/scripts/
H A Dcoccicheck141 if [ "$DEBUG_FILE" != "/dev/null" ]; then
142 echo $@>>$DEBUG_FILE
143 $@ 2>>$DEBUG_FILE
262 if [ "$DEBUG_FILE" = "" ]; then
268 DEBUG_FILE="/dev/null"
271 if [ -f $DEBUG_FILE ]; then
272 echo "Debug file $DEBUG_FILE exists, bailing"
/linux/Documentation/dev-tools/
H A Dcoccinelle.rst133 setting the ``DEBUG_FILE`` variable::
135 make coccicheck MODE=report DEBUG_FILE="cocci.log"
140 make coccicheck MODE=report DEBUG_FILE="cocci-$(date -Iseconds).log"
226 can specify the ``DEBUG_FILE="file.txt"`` option to coccicheck. For instance::
229 make coccicheck COCCI=scripts/coccinelle/free/kfree.cocci MODE=report DEBUG_FILE=cocci.err
238 … make coccicheck DEBUG_FILE="err.log" MODE=report SPFLAGS="--profile --show-trying" M=./drivers/mfd
246 DEBUG_FILE support is only supported when using coccinelle >= 1.0.2.
248 Currently, DEBUG_FILE support is only available to check folders, and
250 to be called twice leading to DEBUG_FILE being set both times to the same value,