From ede30c5d6159f4937ab5c688bb84c382395b19d5 Mon Sep 17 00:00:00 2001
From: Marcus Comstedt <marcus@mc.pp.se>
Date: Sat, 29 Nov 1997 14:53:40 +0100
Subject: [PATCH] Fixed make install to work with broken shells.

Rev: src/Makefile.in:1.47
---
 src/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile.in b/src/Makefile.in
index 43b608f008..420a65b7f2 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"; \
-- 
GitLab