New upstream version 18.11-rc1

[deb_dpdk.git] / devtools / cocci.sh

diff --git a/devtools/cocci.sh b/devtools/cocci.sh
index 4ca5025..8b17a8c 100755 (executable)
--- 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