diff --git a/src/Makefile.in b/src/Makefile.in
index 600724e6c6cd637f7b644783bb7046208592b0b6..e30bd95ae8c2303b8f3265aec9a5f8287c109bfc 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; \