From 8b9c825a7c3d71ee62419d973ea138adec49da4e Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 3 Jul 2017 18:50:24 -0400
Subject: Don't set COQPATH in travis

We don't need it
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 270693f68..31e3e3498 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -27,7 +27,7 @@ before_script:
   - uname -a
   - source ./etc/ci/travis_keep_alive.sh
 
-script: COQPATH="$(pwd)/$COQPRIME" ./etc/coq-scripts/timing/make-pretty-timed.sh -j2 $TARGETS && make COQPATH="$(pwd)/coqprime" $TARGETS TIMED=1 -j2
+script: ./etc/coq-scripts/timing/make-pretty-timed.sh -j2 $TARGETS && make $TARGETS TIMED=1 -j2
 
 after_success:
   - kill $PID_KEEP_ALIVE
-- 
cgit v1.2.3