pike.git / src / Makefile.in

version» Context lines:

pike.git/src/Makefile.in:171:    chmod u+w "$(lib_prefix)/$$d/."; \    fi; \    done    @echo ; echo "Installing pike..."; \    if cmp "$(exec_prefix)/pike" ./pike >/dev/null 2>&1 ; then \    echo "This pike-binary is already installed." ; \    else \    if [ -f "$(exec_prefix)/pike" ]; then \    echo Renaming old "$(exec_prefix)/pike" to "$(exec_prefix)/pike.old"; \    mv -f "$(exec_prefix)/pike" "$(exec_prefix)/pike.old"; \ -  else \ +  else : ; fi ; \    echo "$(exec_prefix)/pike"; $(INSTALL) ./pike $(exec_prefix) ; \ -  fi ; \ +     fi    @if [ -f $(SRCDIR)/../bin/hilfe ]; then \    echo ; echo "Installing $(exec_prefix)/hilfe..."; \    if [ "$(exec_prefix)" != "/usr/local/bin" -a \    "$(exec_prefix)" != "/usr/local/bin/" ]; then \    if [ -f $(exec_prefix)/hilfe ]; then \    mv $(exec_prefix)/hilfe $(exec_prefix)/hilfe.old; \    else : ; fi && \    sed -e 's!/usr/local/bin!$(exec_prefix)!' <$(SRCDIR)/../bin/hilfe \    >$(exec_prefix)/hilfe || exit 1\