1.0.42: will be tagged as sbcl_1_0_42
[sbcl.git] / run-sbcl.sh
index f1876c3..83f40c1 100644 (file)
@@ -14,6 +14,7 @@
 set -e
 
 BASE=`dirname "$0"`
+BASE=`(readlink -f ${BASE} 2> /dev/null || echo ${BASE})`
 CORE_DEFINED=no
 
 for arg in $*; do