#!/bin/csh

#  Generate kernel database from existing kernels
#  Comments: 	2009 08 25 - Jeannie Backer - This version of makedb was 
#               generated to search for highest version of lsk 
#               (previously hard-coded).
kerneldbgen to='kernels.????.db' type=CK \
            recondir='$smart1/kernels/ck' \
            reconfilter='ATNS_P????????????_?????.BC' \
            lsk='$base/kernels/lsk/naif????.tls' \
            sclk='$smart1/kernels/sclk/SMART1_??????_STEP.TSC'