File indexing completed on 2024-04-06 12:31:47
0001
0002
0003 finddirectory() {
0004 dir=$1; shift
0005 subdir=$1; shift
0006 while [ ! -d "$dir/$subdir" ] && [ "X$dir" != "X" ] && [ "X$dir" != "X/" ]; do
0007 dir=`dirname $dir`
0008 done
0009 if [ ! -d "$dir/$subdir" ]; then
0010 dir=""
0011 fi
0012 echo $dir
0013 }
0014
0015 scramreleasetop() {
0016 echo `finddirectory $1 .SCRAM`
0017 }
0018
0019 me=`ls -l $0 | sed 's|.* ||'`
0020 case $me in /* ) ;; * ) me=$PWD/$me ;; esac
0021 medir=`dirname $me`
0022 igdir=`scramreleasetop $medir`
0023 if [ "X$igdir" = "X" ]; then
0024 igdir=`finddirectory $medir ignominy/config`
0025 if [ "X$igdir" != "X" ]; then
0026 igdir=$igdir/ignominy
0027 fi
0028 else
0029 igdir=$igdir/src/Utilities/ReleaseScripts/ignominy
0030 fi
0031 if [ -d $igdir ]; then
0032 export PATH=${igdir}:${PATH}
0033 $igdir/runignominy $@
0034 exit $?
0035 else
0036 echo "ERROR: Could not find the ignominy directory"
0037 exit 1
0038 fi