#!/bin/csh -f
#
#
if (!(${?DSTOOL})) then
	echo Setting DSTOOL environment...
	setenv DSTOOL default_dstool_dir
	setenv DSTOOL_DATA_DIR $HOME
endif

if (!(${?OPENWINHOME})) then
	echo Setting OPENWINHOME
	setenv OPENWINHOME default_openwin_dir
endif

if (!(${?LD_LIBRARY_PATH})) then
	echo Setting LD_LIBRARY_PATH
	setenv  LD_LIBRARY_PATH $OPENWINHOME/lib:/usr/lib
endif


echo Executing from $DSTOOL/bin
$DSTOOL/bin/dstool $*

