diff options
Diffstat (limited to 'devtools/cocci.sh')
| -rwxr-xr-x | devtools/cocci.sh | 2 |
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 |