1#!/bin/sh -
2#
3# $Id: chk.rr,v 12.2 2008/05/07 12:47:06 bschmeck Exp $
4
5d=../..
6
7t1=__1
8
9# Check for DB_RUNRECOVERY being specified instead of a call to env_panic.
10egrep DB_RUNRECOVERY $d/*/*.c |
11    sed -e '/__env_panic(.*, DB_RUNRECOVERY)/d' \
12	-e '/\/php_db4\//d' \
13	-e '/case DB_RUNRECOVERY:/d' \
14	-e '/db_dispatch.c:.*if (ret == DB_RUNRECOVERY/d' \
15	-e '/db_err.c:/d' \
16	-e '/env_open.c:.*ret = DB_RUNRECOVERY;/d' \
17	-e '/os_errno.c:.*evalue == DB_RUNRECOVERY/d' \
18	-e '/rep_backup.c:.*Panic the env and return DB_RUNRECOVERY/d' \
19	-e '/txn.c:.* \* DB_RUNRECOVERY and we need to/d' \
20	-e '/txn.c:.*returned DB_RUNRECOVERY and we need to/d' \
21	> $t1
22[ -s $t1 ] && {
23	echo "DB_RUNRECOVERY used; should be a call to env_panic."
24	cat $t1
25	exit 1
26}
27
28exit 0
29