summaryrefslogtreecommitdiffstats
path: root/devtools/cocci.sh
diff options
context:
space:
mode:
Diffstat (limited to 'devtools/cocci.sh')
-rwxr-xr-xdevtools/cocci.sh2
1 files changed, 1 insertions, 1 deletions
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