adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

design: remove redundant `design-spec` test 

This effectively reverts commit 2fec23d646, which was a previous attempt
at fixing a race condition in the design spec generation, which turned
out to be ineffective. Since the `design-spec` test had the same effect
as the `haskell-translator` test on which it depended, it was redundant,
and can be removed.

Signed-off-by: Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>
This commit is contained in:
Matthew Brecknell 2020-04-01 12:00:18 +11:00
parent 00330af209
commit 78f1808264
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
spec/tests.xml
View File

@ -22,10 +22,9 @@
<set depends="isabelle Lib">
<!-- Various seL4 specifications. -->
<test name="design-spec" depends="haskell-translator">make design-spec</test>
<test name="TakeGrant">make TakeGrant</test>
<set depends="design-spec">
<set depends="haskell-translator">
<test name="ASpec">make ASpec</test>
<test name="ExecSpec">make ExecSpec</test>
<test name="DSpec">make DSpec</test>