home *** CD-ROM | disk | FTP | other *** search
- #! /bin/csh -f
- #Tag 5669
-
- echo
- set HM_CMD = $0
- set HM_CMD_ROOT = `echo $HM_CMD:h`
-
- if (`echo $HM_CMD | cut -c1,1` == ".") then
- if (`echo $HM_CMD | cut -c2,2` == ".") then
- cd $HM_CMD_ROOT
- setenv ROOTDIRECTORY `pwd`
- else
- setenv ROOTDIRECTORY `pwd`
- endif
- else
- setenv ROOTDIRECTORY $HM_CMD_ROOT
- endif
-
- if (`echo $ROOTDIRECTORY | cut -c1,1 ` != "/") then
- setenv ROOTDIRECTORY \/$ROOTDIRECTORY
- endif
-
- cd $ROOTDIRECTORY
- setenv HOTMIXDIR $ROOTDIRECTORY/.all
- echo HOTMIXDIR=$HOTMIXDIR
- $HOTMIXDIR/bin/hotmix12.csh
-
-