blob: 53d8bb1583300eecec8be1c5f8f4a719b07b441c (
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
|
#!/bin/sh -
#
# $Id: chk.rr,v 1.5 2004/10/07 20:40:43 bostic Exp $
d=../..
t1=__1
# Check for DB_RUNRECOVERY being specified instead of a call to db_panic.
egrep DB_RUNRECOVERY $d/*/*.c |
sed -e '/__db_panic(.*, DB_RUNRECOVERY)/d' \
-e '/case DB_RUNRECOVERY:/d' \
-e '/db_dispatch.c:.*if (ret == DB_RUNRECOVERY/d' \
-e '/db_err.c:/d' \
-e '/os_errno.c:.*evalue == DB_RUNRECOVERY/d' \
-e '/\/php_db4\//d' \
-e '/rep_backup.c:.*Panic the env and return DB_RUNRECOVERY/d' \
-e '/txn.c:.* \* DB_RUNRECOVERY and we need to/d' \
-e '/txn.c:.*returned DB_RUNRECOVERY and we need to/d' \
> $t1
[ -s $t1 ] && {
echo "DB_RUNRECOVERY used; should be a call to db_panic."
cat $t1
exit 1
}
exit 0
|