Hmm, $(RM) isn't set...

Rev: src/Makefile.in:1.185

src/Makefile.in

 #
-# $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; \