diff options
| author | Brian Campbell | 2018-05-15 17:49:44 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-15 17:49:44 +0100 |
| commit | 77b393e4f53d14955d301cbd16e22d2e7b026ede (patch) | |
| tree | 0c2adf4a02e29b3bbe6335949054cb5385957b60 /snapshots | |
| parent | ae4ae4460fbda8c594e95d4555abd4a30290f6fe (diff) | |
Really don't remove those files
Diffstat (limited to 'snapshots')
| -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 |