From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 18 Dec 2013 02:13:12 +0000 (-0500)
Subject: Cache apt packages on Travis.
X-Git-Tag: cvc5-1.0.0~6987^2~15
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6991f30f87149638d05f621d72edb6483d5d83ac;p=cvc5.git

Cache apt packages on Travis.
---

diff --git a/.travis.yml b/.travis.yml
index 8acc8a546..f351e8a41 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,4 +1,5 @@
 language: cpp
+cache: apt
 compiler:
  - gcc
  - clang