DROP THIS COMMIT BEFORE MERGE

firedrakeproject · Nov 9, 2015 · 2b6ad7b · 2b6ad7b
1 parent d93c1b6
commit 2b6ad7b
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
   - 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