cc: avoid space after options;
authorwenzelm
Thu Oct 12 15:00:07 2006 +0200 (2006-10-12 ago)
changeset 209946f2995b4c867
parent 20993 214843edd729
child 20995 51c41f167adc
cc: avoid space after options;
lib/scripts/run-polyml-4.9.1
     1.1 --- a/lib/scripts/run-polyml-4.9.1	Thu Oct 12 14:26:16 2006 +0200
     1.2 +++ b/lib/scripts/run-polyml-4.9.1	Thu Oct 12 15:00:07 2006 +0200
     1.3 @@ -81,7 +81,7 @@
     1.4  
     1.5  if [ -n "$OUTFILE" ]; then
     1.6    if [ -e "${OUTFILE}.o" ]; then
     1.7 -    cc -o "$OUTFILE" "${OUTFILE}.o" -L "$POLYLIB" -lpolymain -lpolyml -lstdc++ || fail_out
     1.8 +    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml -lstdc++ || fail_out
     1.9      rm -f "${OUTFILE}.o"
    1.10    fi
    1.11    [ -f "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"