#!/bin/csh
#
#  Generate kernel database from existing kernels
kerneldbgen to='kernels.????.db' type=CK \
            recondir='$mgs/kernels/ck' \
            reconfilter='mgs_sc_*.bc' \
            sclk='$mgs/kernels/sclk/MGS_SCLKSCET.?????.tsc' \
            lsk='$base/kernels/lsk/naif????.tls'