changeset 21652 | 3501b5a8a2c1 |
parent 20758 | 19be439e35f9 |
child 29145 | b1c6f4563df7 |
--- a/lib/scripts/polyml-version Tue Dec 05 14:05:23 2006 +0100 +++ b/lib/scripts/polyml-version Tue Dec 05 18:32:54 2006 +0100 @@ -9,6 +9,7 @@ if [ -x "$ML_HOME/poly" ]; then if [ -x "$ML_HOME/polyimport" ]; then env LD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$LD_LIBRARY_PATH" \ + DYLD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$DYLD_LIBRARY_PATH" \ "$ML_HOME/poly" -v | \ sed -n 's,^Poly/ML.*RTS version: [^ ]*\(-[^ ]*\).*$,\1,p' else