Home
last modified time | relevance | path

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

/Linux-v4.19/scripts/
Dcoccicheck129 echo $@ >>$DEBUG_FILE
130 $@ 2>>$DEBUG_FILE
247 if [ "$DEBUG_FILE" != "/dev/null" -a "$DEBUG_FILE" != "" ]; then
248 if [ -f $DEBUG_FILE ]; then
249 echo "Debug file $DEBUG_FILE exists, bailing"
253 DEBUG_FILE="/dev/null"
/Linux-v4.19/Documentation/dev-tools/
Dcoccinelle.rst190 can specify the ``DEBUG_FILE="file.txt"`` option to coccicheck. For
194 make coccicheck COCCI=scripts/coccinelle/free/kfree.cocci MODE=report DEBUG_FILE=cocci.err
203 …make coccicheck DEBUG_FILE="err.log" MODE=report SPFLAGS="--profile --show-trying" M=./drivers/mfd…
209 DEBUG_FILE support is only supported when using coccinelle >= 1.0.2.