History log of /seL4-l4v-master/HOL4/tools/Holmake/tests/coproduct/testdir/secondSimpleScript.sml
Revision Date Author Comments
# 63cafe0c 04-Nov-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Holmake: prevent starred dependencies from spawning 2 jobs

Search for duplicate commands was failing because the
starred-dependency had just the local script name, not the full path.

Try to detect parallel execution of same command in coproduct
test-case.

Thanks to Yong Kiam Tan for the bug report.


# 136a0d02 24-Jul-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Generate a Holmake test-case that looks similar to CakeML bug