projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7d8edf7)
Cache apt packages on Travis.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 18 Dec 2013 02:13:12 +0000 (21:13 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 8 Jan 2014 19:01:14 +0000 (14:01 -0500)
.travis.yml patch | blob | history

diff --git a/.travis.yml b/.travis.yml
index 8acc8a5460bab43b536082194beed2abe5ae1bf8..f351e8a41028d176a97c265bb0df3aa8240baa0a 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,4 +1,5 @@
 language: cpp
+cache: apt
 compiler:
  - gcc
  - clang