From 48abdcbd320e60daaf5ef527e1ef699ba92363c0 Mon Sep 17 00:00:00 2001
From: Lars Brinkhoff <lars@nocrew.org>
Date: Fri, 2 Dec 2022 06:51:39 +0100
Subject: [PATCH] It's ok if the .rim file is not there.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index cc10b195..30f2d719 100644
--- a/Makefile
+++ b/Makefile
@@ -111,7 +111,7 @@ download: $(SMF) $(OUT)/stamp/pdp10
 	$(CP) -r $(EMULATOR)/system $(OUT)
 	$(CP) $(EMULATOR)/*.tape $(OUT)
 	$(CP) $(EMULATOR)/rp0* $(OUT)
-	$(CP) $(EMULATOR)/*.rim $(OUT)
+	-$(CP) $(EMULATOR)/*.rim $(OUT)
 	$(CP) $(EMULATOR)/dskdmp* $(OUT)
 	$(TOUCH) $(OUT)/stamp/its