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

regression: add Word to "isabelle" test so other tests don't try to build it in parallel.

This commit is contained in:
Japheth Lim 2016-04-14 21:09:13 +10:00
parent 874e1998e5
commit 10d3a0d6fb
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
misc/regression/tests.xml
View File

@ -55,8 +55,8 @@
-->
<testsuite>
<!-- Build Isabelle. -->
<test name="isabelle" cwd="../../" cpu-timeout="3600">isabelle/bin/isabelle build -b -v HOL-Word</test>
<!-- Build Isabelle and common theories (Pure, HOL, HOL-Word, Word). -->
<test name="isabelle" cwd="../.." cpu-timeout="3600">isabelle/bin/isabelle build -d . -vb Word</test>
<!-- Ensure that all of our XML files are strictly correct. -->
<test name="tests-xml-correct" cwd="../../" cpu-timeout="60">