Terminal emulator with all the bells and whistles
https://www.enlightenment.org
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
30 lines
575 B
30 lines
575 B
1 year ago
|
#!/bin/sh
|
||
|
|
set -eu
|
||
|
|
|
||
|
|
DIR="src/bin"
|
||
|
|
COCCI_FILES="
|
||
|
|
andconst.cocci
|
||
|
|
badzero.cocci
|
||
|
|
continue.cocci
|
||
|
|
free_stack.cocci
|
||
|
|
mutex.cocci
|
||
|
|
notand.cocci
|
||
|
|
notnull.cocci
|
||
|
|
null_ref.cocci
|
||
|
|
unused.cocci
|
||
|
|
use_after_iter.cocci
|
||
|
|
"
|
||
|
|
|
||
|
|
HAS_ERROR=0
|
||
|
|
for f in $COCCI_FILES; do
|
||
|
|
CMD="spatch --timeout 200 --very-quiet --cocci-file scripts/coccinelle/$f --include-headers --dir $DIR"
|
||
|
|
#CMD="spatch --very-quiet --cocci-file scripts/coccinelle/$f --dir $DIR -allow_inconsistent_paths"
|
||
|
|
OUT=$($CMD)
|
||
|
|
echo "$CMD"
|
||
|
|
if [ -n "$OUT" ]; then
|
||
|
|
echo "$OUT"
|
||
|
|
HAS_ERROR=1
|
||
|
|
fi
|
||
|
|
done
|
||
|
|
exit $HAS_ERROR
|