diff --git a/src/Makefile.in b/src/Makefile.in
index c19efe9d45aaf12a7055683ffb9f77f44ab9d34e..4f534dd770b9bf6d96a7b92838ce2db42e6f148f 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -178,9 +178,8 @@ install:
 	  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 \
-	    echo "$(exec_prefix)/pike"; $(INSTALL) ./pike $(exec_prefix) ; \
-	  fi ; \
+	  else : ; fi ; \
+	  echo "$(exec_prefix)/pike"; $(INSTALL) ./pike $(exec_prefix) ; \
 	fi
 	@if [ -f $(SRCDIR)/../bin/hilfe ]; then \
 	  echo ; echo "Installing $(exec_prefix)/hilfe..."; \