equal
deleted
inserted
replaced
85 fi |
85 fi |
86 RC="$?" |
86 RC="$?" |
87 |
87 |
88 if [ -n "$OUTFILE" ]; then |
88 if [ -n "$OUTFILE" ]; then |
89 if [ -e "${OUTFILE}.o" ]; then |
89 if [ -e "${OUTFILE}.o" ]; then |
90 cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLYML_LINK_OPTIONS || fail_out |
90 cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLY_LINK_OPTIONS || fail_out |
91 rm -f "${OUTFILE}.o" |
91 rm -f "${OUTFILE}.o" |
92 [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE" |
92 [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE" |
93 fi |
93 fi |
94 [ -f "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE" |
94 [ -f "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE" |
95 fi |
95 fi |