mirror of
https://github.com/ostreedev/ostree.git
synced 2024-10-27 01:55:35 +03:00
30 lines
736 B
Bash
30 lines
736 B
Bash
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
# Run the .cocci files in the tests directory; these act
|
||
|
|
# as a blacklist.
|
||
|
|
|
||
|
|
set -euo pipefail
|
||
|
|
|
||
|
|
. $(dirname $0)/libtest.sh
|
||
|
|
|
||
|
|
if ! spatch --version 2>/dev/null; then
|
||
|
|
skip "no spatch; get it from http://coccinelle.lip6.fr/"
|
||
|
|
fi
|
||
|
|
|
||
|
|
if test -z "${OSTREE_UNINSTALLED_SRCDIR:-}"; then
|
||
|
|
skip "running installed?"
|
||
|
|
fi
|
||
|
|
|
||
|
|
coccitests=$(ls $(dirname $0)/coccinelle/*.cocci)
|
||
|
|
echo "1.."$(echo ${coccitests} | wc -l)
|
||
|
|
|
||
|
|
for cocci in $(dirname $0)/coccinelle/*.cocci; do
|
||
|
|
echo "Running: ${cocci}"
|
||
|
|
spatch --very-quiet --dir ${OSTREE_UNINSTALLED_SRCDIR} ${cocci} > cocci.out
|
||
|
|
if test -s cocci.out; then
|
||
|
|
sed -e 's/^/# /' < cocci.out >&2
|
||
|
|
fatal "Failed semantic patch: ${cocci}"
|
||
|
|
fi
|
||
|
|
echo ok ${cocci}
|
||
|
|
done
|