File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -40,7 +40,7 @@ pipeline {
4040 sh ' mkdir tmp'
4141 dir(' tmp' ) {
4242 timestamps {
43- sh ' ../scripts/firedrake-install $COMPLEX --tinyasm --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --install irksome --no-package-manager --package-branch firedrake ksagiyam/tsfc_refactor --package-branch tsfc ksagiyam/tsfc_refactor || (cat firedrake-install.log && /bin/false)'
43+ sh ' ../scripts/firedrake-install $COMPLEX --tinyasm --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --install irksome --no-package-manager --package-branch tsfc ksagiyam/tsfc_refactor --package-branch firedrake ksagiyam/tsfc_refactor || (cat firedrake-install.log && /bin/false)'
4444 }
4545 }
4646 }
You can’t perform that action at this time.
0 commit comments