# HG changeset patch
# User wenzelm
# Date 1159437390 -7200
# Node ID 1cd271a4fb12b19d0cf781b2cc297378af8249f6
# Parent  19be439e35f99d9c064874db4cb4af8df8f366cd
tuned;

diff -r 19be439e35f9 -r 1cd271a4fb12 lib/scripts/run-polyml-4.9.1
--- a/lib/scripts/run-polyml-4.9.1	Thu Sep 28 11:55:56 2006 +0200
+++ b/lib/scripts/run-polyml-4.9.1	Thu Sep 28 11:56:30 2006 +0200
@@ -36,13 +36,7 @@
 else
   POLYLIB="$ML_HOME"
 fi
-
-if [ -z "$LD_LIBRARY_PATH" ]; then
-  LD_LIBRARY_PATH="$POLYLIB"
-else
-  LD_LIBRARY_PATH="$POLYLIB:$LD_LIBRARY_PATH"
-fi
-export LD_LIBRARY_PATH
+export LD_LIBRARY_PATH="$POLYLIB:$LD_LIBRARY_PATH"
 
 
 ## prepare databases
@@ -85,7 +79,7 @@
 
 if [ -n "$OUTFILE" ]; then
   if [ -e "${OUTFILE}.o" ]; then
-    cc -o "$OUTFILE" "${OUTFILE}.o" -lpolymain -lpolyml -lstdc++ || fail_out
+    cc -o "$OUTFILE" "${OUTFILE}.o" -L "$POLYLIB" -lpolymain -lpolyml -lstdc++ || fail_out
     rm -f "${OUTFILE}.o"
   fi
   [ -f "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"