From 061a85266366770e4a2d828dd6054617642a9008 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 22 Mar 2018 02:19:48 -0400
Subject: Update travis caching script

We no longer have a Bedrock directory; we instead have a bbv directory
---
 etc/ci/travis.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc')

diff --git a/etc/ci/travis.sh b/etc/ci/travis.sh
index b16e11553..6c2971685 100755
--- a/etc/ci/travis.sh
+++ b/etc/ci/travis.sh
@@ -12,7 +12,7 @@ mkdir -p "${CACHE_DIR}"
 make "$@" -j2 TIMED=1 2>&1 | tee -a time-of-build.log
 python "./etc/coq-scripts/timing/make-one-time-file.py" "time-of-build.log" "time-of-build-pretty.log" || exit $?
 rm -f "${CUR_ARCHIVE}"
-tar -czf "${CUR_ARCHIVE}" time-of-build.log src Bedrock coqprime
+tar -czf "${CUR_ARCHIVE}" time-of-build.log src bbv coqprime
 
 cat time-of-build-pretty.log
 make "$@" -j2 TIMED=1 || exit $?
-- 
cgit v1.2.3