Remove splint tag magic.

diff --git a/db3/configure b/db3/configure
index 6a26c50..0682bc7 100755 (executable)
--- a/db3/configure
+++ b/db3/configure
@@ -30,16 +30,5 @@ check: all\
 depend/' \
  > Makefile
 
-mv db.h db.h.orig
-cat db.h.orig | sed \
-       -e '/^typedef   u_int32_t       db_pgno_t;/i\
-/*@-incondefs -fielduse -enummemuse -typeuse @*/' \
-       -e '/^struct __key_range;/a\
-/*@=incondefs@*/' \
-       -e '/^#define   db_create/i\
-/*@-declundef -noparams -fcnuse@*/' \
-       -e '/^int txn_commit __P((/a\
-/*@=declundef =noparams =fcnuse =fielduse =enummemuse =typeuse @*/' > db.h
-
 # Generate manifest for rpmdb.
 make -s listobjs > db3lobjs