diff --git a/src/Makefile.in b/src/Makefile.in
index 43b608f0089fb7673a209e9760a38a3d323c39f8..420a65b7f2443bf3fa5ca1cb5030876ce6f3bd85 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -157,7 +157,7 @@ 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"; \
-	fi
+	else : ; fi
 	@echo "$(exec_prefix)/pike"; $(INSTALL) ./pike $(exec_prefix)
 	@if [ -f $(SRCDIR)/../bin/hilfe ]; then \
 	  echo "$(exec_prefix)/hilfe"; \