projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6690518) | patch
Travis: run examples and avoid building them twice (#2663)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 20 Oct 2018 13:47:30 +0000 (06:47 -0700)
committerGitHub <noreply@github.com>
Sat, 20 Oct 2018 13:47:30 +0000 (06:47 -0700)
commit4d2cca06662191d6f7012d01612d01ccde876dbe
treecac007e13bec7d9ed2a1d50a1819579c5dfaccd0tree
parent6690518dee7cfa2dce3edec2ffc11e8780d41838commit | diff
Travis: run examples and avoid building them twice (#2663)

`make check` builds the examples but does not run them. This commit
changes our Travis script to run the examples after building them and
removes `makeExamples()` to avoid building them twice.
.travis.yml diff | blob | history