Commit 14c0d385 authored by Dafydd Harries's avatar Dafydd Harries

check-symbols.sh: check diff length rather than using cmp exit code

darcs-hash:20070210134031-c9803-f92c6e72c14ac90ef212cd072dae5974d6239e68.gz
parent 5e2b888e
......@@ -19,12 +19,13 @@ if ! test -f "$symbol_file"; then
exit 1
fi
diff=`sh $make_symbol_list "$lib" | \
diff -uB "$symbol_file" - | tail -n +3`
# stop if there are no differences
sh $make_symbol_list "$lib" | cmp -s "$symbol_file" - && exit 0
test -z "$diff" && exit 0
echo "symbols for $lib changed"
diff=`sh $make_symbol_list "$lib" | \
diff -u "$symbol_file" - | tail -n +3`
if echo "$diff" | grep -q '^-'; then
echo " missing:"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment