blob: 07e47952de33cec4832c67b52ae04a27d545d89b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/sh
set -eu
_tmpdir=$(mktemp -d /tmp/coccicheck-XXXXXX)
_bname=$(basename "$1" .input.c)
_dname=$(dirname "$1")
spatch --very-quiet --sp-file "${_dname}/../${_bname}.cocci" "$1" \
| tail -n+3 > "${_tmpdir}/out"
diff -u "${_dname}/${_bname}.output" "${_tmpdir}/out"
if [ -d "${_tmpdir}" ]; then
rm "${_tmpdir}"/*
rmdir "${_tmpdir}"
fi
|
