Ticket #57772: runcsl.sh

File runcsl.sh, 149 bytes (added by mbrethen, 5 years ago)
Line 
1#! /bin/sh
2
3MYDIR=`dirname $0`
4export MYDIR
5CSLDIR="$(cd $MYDIR/../libexec/reduce/csl && pwd -P)"
6exec $CSLDIR/reduce.app/Contents/MacOS/reduce "$@"