diff options
| -rw-r--r-- | snapshots/hol4/sail/lib/hol/Holmakefile | 3 |
1 files changed, 2 insertions, 1 deletions
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 |