lib/scripts/run-polyml-5.0

--- a/lib/scripts/run-polyml-5.0	Wed Aug 29 20:18:23 2007 +0200
+++ b/lib/scripts/run-polyml-5.0	Wed Aug 29 22:47:01 2007 +0200
@@ -87,7 +87,7 @@
 
 if [ -n "$OUTFILE" ]; then
   if [ -e "${OUTFILE}.o" ]; then
-    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml || fail_out
+    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLYML_LINK_OPTIONS || fail_out
     rm -f "${OUTFILE}.o"
     [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE"
   fi