cc: avoid space after options;
authorwenzelm
Thu, 12 Oct 2006 15:00:07 +0200
changeset 20994 6f2995b4c867
parent 20993 214843edd729
child 20995 51c41f167adc
cc: avoid space after options;
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"