#!/bin/csh

#
#  Generate kernel database from existing kernels
if ($#argv == 1) then 
  set kernel = $1
else 
  set kernel = `ls -1 msgr_20040803*.bsp | tail -1`
endif
kerneldbgen to='kernels.????.db' type=SPK \
            recondir='$messenger/kernels/spk' \
            reconfilter=$kernel \
	    lsk='$base/kernels/lsk/naif????.tls'