Searched refs:cocci (Results 1 – 1 of 1) sorted by relevance
8 COCCI=$SRCTREE/devtools/cocci12 [ -n "$PATCH_LIST" ] || PATCH_LIST=$(echo $COCCI/*.cocci)19 tmp=$(mktemp -t dpdk.cocci.XXX)