X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=devtools%2Fcocci.sh;h=8b17a8cebac36effead7c2be2b3de337474eac43;hb=8d01b9cd70a67cdafd5b965a70420c3bd7fb3f82;hp=4ca5025f78040a9572184bc13bb5668a5cd0e836;hpb=7595afa4d30097c1177b69257118d8ad89a539be;p=deb_dpdk.git diff --git a/devtools/cocci.sh b/devtools/cocci.sh index 4ca5025f..8b17a8ce 100755 --- a/devtools/cocci.sh +++ b/devtools/cocci.sh @@ -44,7 +44,7 @@ PATCH_LIST="$@" exit 1 ) -tmp=$(mktemp) +tmp=$(mktemp -t dpdk.cocci.XXX) for c in $PATCH_LIST; do while true; do