path: root/snapshots/hol4/clean

#!/bin/bash

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