#!/bin/sh
doing() {
	echo Doing $*
}
THIS_FILE=`pwd`/`basename $0`
echo file:$THIS_FILE

BASE_DIR=/mit/okidev
cd $BASE_DIR/mit/krb4
doing event/maker $1
event/maker $1

doing cd $BASE_DIR/mit/krb4
cd $BASE_DIR/mit/krb4
doing echo ui/maker $1
ui/maker $1

doing cd $BASE_DIR
cd $BASE_DIR
doing rm -f mit/krb4/*.class
rm -f mit/krb4/*.class
doing javac -d . -g mit/krb4/*.java
javac -d . -g mit/krb4/*.java
doing jar uf $1 mit/krb4/*.class
jar uf $1 mit/krb4/*.class
echo Done file:$THIS_FILE