diff options
| author | Brian Campbell | 2018-05-11 18:21:28 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-11 18:21:35 +0100 |
| commit | 18550ec15e8ca25770ca6d9a58c9d754d9c9861e (patch) | |
| tree | f6eddebfe85f87e5388135495873d4748d743066 /snapshots/hol4/clean | |
| parent | 2140f736dbc5094a5e77315fdb7ace40162a464e (diff) | |
Add snapshot of HOL4 output for CHERI and RISC-V
Diffstat (limited to 'snapshots/hol4/clean')
| -rwxr-xr-x | snapshots/hol4/clean | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/snapshots/hol4/clean b/snapshots/hol4/clean new file mode 100755 index 00000000..f4301d3f --- /dev/null +++ b/snapshots/hol4/clean @@ -0,0 +1,5 @@ +#!/bin/bash + +for d in lem/hol-lib sail/lib/hol sail/cheri sail/riscv; do + (cd $d; Holmake cleanAll) +done |