Searched refs:DEBUG_FILE (Results 1 – 2 of 2) sorted by relevance
42 # $ make coccicheck MODE=report DEBUG_FILE="all.err" SPFLAGS="--profile --show-trying" M=./drivers/mfd/arizona-irq.c46 # be sent to stdout, if you provide a DEBUG_FILE the profiling data can be141 if [ "$DEBUG_FILE" != "/dev/null" -a "$DEBUG_FILE" != "" ]; then142 echo $@>>$DEBUG_FILE143 $@ 2>>$DEBUG_FILE262 if [ "$DEBUG_FILE" != "/dev/null" -a "$DEBUG_FILE" != "" ]; then263 if [ -f $DEBUG_FILE ]; then264 echo "Debug file $DEBUG_FILE exist[all...]
214 can specify the ``DEBUG_FILE="file.txt"`` option to coccicheck. For218 make coccicheck COCCI=scripts/coccinelle/free/kfree.cocci MODE=report DEBUG_FILE=cocci.err227 … make coccicheck DEBUG_FILE="err.log" MODE=report SPFLAGS="--profile --show-trying" M=./drivers/mfd235 DEBUG_FILE support is only supported when using coccinelle >= 1.0.2.237 Currently, DEBUG_FILE support is only available to check folders, and239 to be called twice leading to DEBUG_FILE being set both times to the same value,