blob: ce8e7f58be73c504bdae6194208fe5f1bfd68908 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/bin/bash
# Check that private headers aren't included in public ones.
if grep "include.*private.h" $(ls src/*.h | grep -v "private.h");
then
echo "Private headers shouldn't be included in public ones."
exit 1
fi
# Check that handy.h contains all the public headers.
for header in $(ls src | grep "\.h$" | grep -v "private.h" | grep -v handy.h);
do
if ! grep -q "$(basename $header)" src/handy.h;
then
echo "The public header" $(basename $header) "should be included in handy.h."
exit 1
fi
done
|
