#!/bin/tcsh -f
#
#
# Create the symbols file?
#
#
if (-e symbols == 0) then
if (${0:h} == ${0}) then
cp symbols.default symbols
else
cp ${0:h}/symbols.default symbols
endif
endif
#
#
# Construct a unique file name
#
#
if (-e $TEMP_DIR) then
set tmpfile = $TEMP_DIR"/${0:t}$$"
else
if (-e /tmp) then
if (-e /tmp/${user} == 0) then
mkdir /tmp/${user}
endif
endif
if (-e /tmp/${user}) then
set tmpfile = "/tmp/${user}/${0:t}$$"
else
set tmpfile = "${0:t}$$"
endif
endif
#
#