# HG changeset patch
# User Jeroen Demeyer <jdemeyer@cage.ugent.be>
# Date 1291542447 -3600
# Node ID 25315c94f9d8a27621317e4cbc2f73e38ab6c111
# Parent  afa199e7cb173c2821cd1b793b9c53f88631f15c
#10431: replace readlink by a more portable pwd -P

diff -r afa199e7cb17 -r 25315c94f9d8 sage-sage
--- a/sage-sage Sat Dec 04 22:02:20 2010 +0100
+++ b/sage-sage Sun Dec 05 10:47:27 2010 +0100
@@ -335,7 +335,7 @@
 fi

 if [ "$1" = '-branch'  -o "$1" = '--branch' ]; then
-    readlink "$SAGE_ROOT/devel/sage" | sed "s/sage-//"
+    cd "$SAGE_ROOT/devel/sage" && pwd -P | sed 's|.*/||; s|^sage-||'
     exit $?
 fi