author | wenzelm |
Thu, 12 Oct 2006 15:00:07 +0200 | |
changeset 20994 | 6f2995b4c867 |
parent 20993 | 214843edd729 |
child 20995 | 51c41f167adc |
--- 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"