#! /bin/sh
CDBS_TOP=${CDBS_TOP:-/data/cdbs1/tools/}
export CDBS_TOP

. ${CDBS_TOP}/util/defines.sh
export CDBS_SERVER CDBS_DB CDBS_TOP

time $CDBS_TOP/src/verify_cdbs/verify_cdbs.s