mirror of
https://github.com/AdaCore/PolyORB.git
synced 2026-02-12 13:01:15 -08:00
13 lines
210 B
Bash
Executable File
13 lines
210 B
Bash
Executable File
#!/bin/sh
|
|
n=0
|
|
for i in `cat MANIFEST`; do \
|
|
grep -H -- '^ -- .* --' $i >log1; \
|
|
sort log1 >log2; \
|
|
diff log1 log2; \
|
|
if [ "$?" != "0" ]; then
|
|
n=`expr $n + 1`
|
|
fi
|
|
done
|
|
rm log1 log2
|
|
exit $n
|