DROP THIS COMMIT BEFORE MERGE

firedrakeproject · Nov 11, 2015 · 8bd3c1e · 8bd3c1e
1 parent f91dc01
commit 8bd3c1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -50,7 +50,7 @@ before_install:
 install:
   - mkdir tmp
   - cd tmp
-  - ../scripts/firedrake-install --disable-ssh --global --minimal-petsc
+  - ../scripts/firedrake-install --disable-ssh --global --minimal-petsc --package-branch ufl bootstrapping --package-branch ffc bootstrapping
   - cd firedrake/src/firedrake
   - if git fetch origin pull/$TRAVIS_PULL_REQUEST/merge; then git checkout FETCH_HEAD; else git checkout $TRAVIS_COMMIT; fi
   - python setup.py build_ext --inplace