From 132b629e3055f4fce2fbfeb60c51fb1a32374ef1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Sun, 26 Mar 2000 17:17:33 +0200
Subject: [PATCH] Hmm, $(RM) isn't set...

Rev: src/Makefile.in:1.185
---
 src/Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Makefile.in b/src/Makefile.in
index 600724e6c6..e30bd95ae8 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile.in,v 1.184 2000/03/26 15:16:39 grubba Exp $
+# $Id: Makefile.in,v 1.185 2000/03/26 15:17:33 grubba Exp $
 #
 
 # This line is needed on some machines.
@@ -391,7 +391,7 @@ lib: $(LIBDIR_SRC)/master.pike.in Makefile
 	  if [ "x`ls -d share 2>/dev/null || :`" = "x" ]; then :; else \
 	    if [ "x`ls -d share.old 2>/dev/null || :`" = "x" ]; then :; else \
 	      echo "Deleting share.old"; \
-	      $(RM) share.old || exit 1; \
+	      rm -f share.old || exit 1; \
 	    fi; \
 	    echo "Renaming share to share.old"; \
 	    mv share share.old || exit 1; \
-- 
GitLab