git.droids-corp.org
/
dpdk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
net/mlx5: add socket server for external tools
[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