#!/bin/csh
source /root/bin/rebuild_setenv
echo "Starting kernel $1 build (`date`)" >> $LOGFILE
cd $BSDSRCDIR/sys/arch/$ARCH/conf
rm -r ../compile/$1
config $1
cd ../compile/$1
make
echo "Finished kernel $1 build (`date`)" >> $LOGFILE
