History log of /seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/recursiveclean/selftest.sml
Revision Date Author Comments
# ee4f3b90 06-Jan-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Check files to be cleaned are really present in recursive clean test
# b413a6a1 25-Apr-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix Holmake's recursive clean

Includes a test-case.

Closes #338