# HG changeset patch
# User wenzelm
# Date 1170781348 -3600
# Node ID 7a1bf42992545d92a09eff73b423ab867eef8313
# Parent  ce77e962200249302deab080d95a7fa1b6ceaff5
cc: removed option -lstdc++, which seems to be unnecessry, but causes problems on some platforms;

diff -r ce77e9622002 -r 7a1bf4299254 lib/scripts/run-polyml-5.0
--- a/lib/scripts/run-polyml-5.0	Tue Feb 06 17:20:14 2007 +0100
+++ b/lib/scripts/run-polyml-5.0	Tue Feb 06 18:02:28 2007 +0100
@@ -89,7 +89,7 @@
 
 if [ -n "$OUTFILE" ]; then
   if [ -e "${OUTFILE}.o" ]; then
-    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml -lstdc++ || fail_out
+    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml || fail_out
     rm -f "${OUTFILE}.o"
     [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE"
   fi