From 8bd3c1e2c4a7cb72f6438619091c5cad61948319 Mon Sep 17 00:00:00 2001 From: Miklos Homolya Date: Wed, 4 Nov 2015 11:33:42 +0000 Subject: [PATCH] DROP THIS COMMIT BEFORE MERGE --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 7399c24b7a..0925cfec90 100644 --- 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