#!/bin/csh
set wdir = ${PWD}
cd ${HLT_HOME}/src/hlt/language; make full
cd ${HLT_HOME}/src; make
cd ${wdir}