blob: 98fb1aff23f2f4a22a219bc0c41139d5f4316af2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#!/bin/sh -
#
# $Id: chk.javafiles,v 1.7 2003/08/01 18:14:45 gburd Exp $
#
# Check to make sure we haven't forgotten to add any Java files to the list
# of source files in the Makefile.
d=../..
[ -f $d/LICENSE ] || {
echo 'FAIL: cannot find source distribution directory.'
exit 1
}
f=$d/dist/Makefile.in
t1=__1
t2=__2
find $d/java $d/examples_java $d/rpc_server/java -name \*.java -print |
sed -e 's/^.*\///' | sort -u > $t1
tr ' \t' '\n' < $f | sed -e '/\.java$/!d' -e 's/^.*\///' | sort -u > $t2
cmp $t1 $t2 > /dev/null || {
echo "<<< java source files >>> Makefile"
diff $t1 $t2
exit 1
}
exit 0
|
