mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 05:22:25 +01:00
31 lines
631 B
Bash
31 lines
631 B
Bash
#!/bin/sh -
|
|
#
|
|
# $Id: chk.javafiles,v 1.5 2002/01/30 19:50:52 bostic 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
|
|
j=$d/java/src/com/sleepycat
|
|
|
|
t1=__1
|
|
t2=__2
|
|
|
|
find $j/db/ $j/examples $d/rpc_server/java -name \*.java -print |
|
|
sed -e 's/^.*\///' | sort > $t1
|
|
tr ' \t' '\n' < $f | sed -e '/\.java$/!d' -e 's/^.*\///' | sort > $t2
|
|
|
|
cmp $t1 $t2 > /dev/null || {
|
|
echo "<<< java source files >>> Makefile"
|
|
diff $t1 $t2
|
|
exit 1
|
|
}
|
|
|
|
exit 0
|