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

regression: prefer explicit isabelle path over using PATH.

This commit is contained in:
Japheth Lim 2016-01-13 16:05:57 +11:00
parent 65e98199e1
commit aab9c38901
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/regression/tests.xml
View File

@ -52,7 +52,7 @@
<testsuite timeout="3600">
<!-- Build Isabelle. -->
<test name="isabelle" cwd="../../">isabelle build -b -v HOL-Word</test>
<test name="isabelle" cwd="../../">isabelle/bin/isabelle build -b -v HOL-Word</test>
<!-- Ensure that all of our XML files are strictly correct. -->
<test name="tests-xml-correct" cwd="../../">