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

regression: move theory_imports after CSpec 

While CKernel already builds structures_proofs.thy, CSpec's build system
unconditionally builds it again, so this patch removes a race condition
between theory_imports and CSpec.
This commit is contained in:
Japheth Lim 2016-06-03 13:10:55 +10:00
parent 21a420dfad
commit d8c4ba1dec
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
misc/scripts/tests.xml
View File

@ -19,5 +19,5 @@
-->
<testsuite cpu-timeout="60">
<!-- Check theory import paths. Depends on kernel theories to be generated. -->
<test name="theory_imports" depends="CKernel">bash check_theory_imports</test>
<test name="theory_imports" depends="CSpec">bash check_theory_imports</test>
</testsuite>