path: root/snapshots/hol4/clean

#!/bin/bash

for d in lem/hol-lib sail/lib/hol sail/mips sail/cheri sail/riscv sail/aarch64; do
  (cd $d; Holmake cleanAll)
done