From 77b393e4f53d14955d301cbd16e22d2e7b026ede Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 15 May 2018 17:49:44 +0100
Subject: Really don't remove those files

---
 snapshots/hol4/sail/lib/hol/Holmakefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'snapshots')

diff --git a/snapshots/hol4/sail/lib/hol/Holmakefile b/snapshots/hol4/sail/lib/hol/Holmakefile
index d7df9bcb..e8b34295 100644
--- a/snapshots/hol4/sail/lib/hol/Holmakefile
+++ b/snapshots/hol4/sail/lib/hol/Holmakefile
@@ -15,7 +15,8 @@ all: $(THYS)
 
 ifdef POLY
 HOLHEAP = sail-heap
-EXTRA_CLEANS = $(SCRIPTS) $(HOLHEAP) $(HOLHEAP).o
+#EXTRA_CLEANS = $(SCRIPTS) $(HOLHEAP) $(HOLHEAP).o
+EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o
 
 BASE_HEAP = $(LEMDIR)/lemheap
 
-- 
cgit v1.2.3