#!/bin/sh
# \
LD_LIBRARY_PATH=$XCRYSDEN_TOPDIR/external/lib; export LD_LIBRARY_PATH
# this line restarts tclsh \
exec $XCRYSDEN_TOPDIR/bin/xctclsh $0 "$@"

#
# Usage: filetail pathname
#
#         Returns the [file tail pathname]
#
if { $argc != 1 } {
    puts stderr "Usage: filetail pathname"
    exit 1
}
set pathname [lindex $argv 0]
puts stdout [file tail $pathname]
flush stdout
exit 0
