# HG changeset patch
# User wenzelm
# Date 1160658007 -7200
# Node ID 6f2995b4c867fc0ed54cdea07f4ec064c472e507
# Parent  214843edd729acd282240d31410c1288ac0daf52
cc: avoid space after options;

diff -r 214843edd729 -r 6f2995b4c867 lib/scripts/run-polyml-4.9.1
--- a/lib/scripts/run-polyml-4.9.1	Thu Oct 12 14:26:16 2006 +0200
+++ b/lib/scripts/run-polyml-4.9.1	Thu Oct 12 15:00:07 2006 +0200
@@ -81,7 +81,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 -lstdc++ || fail_out
     rm -f "${OUTFILE}.o"
   fi
   [ -f "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"