History log of /seL4-l4v-master/HOL4/tools/Holmake/tests/Iflag/selftest.sml
Revision Date Author Comments
# 8c88a5c1 26-Oct-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix for multidir Holmake regression to do with handling of -I flag

Add another test to check that -r cleanAll also works with -I flags.


# 236d8980 25-Jun-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix Holmake's -I flag so it is not applied recursively

The -I flag to Holmake was being re-interpreted with each recursive
entry of a fresh directory, so that when the included directory was
entered, the Holmake process then attempted to again include that path
in the newly entered directory. This is fine if the path is
absolute (the loop detection will stop the recursion), but if it's
relative, the path won't be present in that directory and a
file-system IO error occurs.

Closes #413