DROP BEFORE MERGE

firedrakeproject · Oct 30, 2020 · a5a9c58 · a5a9c58
1 parent f71b8cc
commit a5a9c58
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -40,7 +40,7 @@ pipeline {
               sh 'mkdir tmp'
               dir('tmp') {
                 timestamps {
-                  sh '../scripts/firedrake-install $COMPLEX --tinyasm --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --install irksome --no-package-manager || (cat firedrake-install.log && /bin/false)'
+                  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)'
                 }
               }
             }