Make a build with travis cache disabled

PrincetonUniversity · May 7, 2020 · c547c88 · c547c88
1 parent 69d944d
commit c547c88
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -69,9 +69,10 @@ install:
 - opam show coq
 - opam show coq-compcert
 - opam show coq-compcert-64
+- rm -rf build
+- rm -rf build_beta
 - travis_wait 15 opam install -j ${NJOBS} -y coq=${COQ_VERSION} ${EXTRA_OPAM}
 - opam install -j ${NJOBS} -y coq=${COQ_VERSION} coq-ext-lib coq-flocq
-- opam uninstall coq-compcert
 - travis_wait 10 opam install -j ${NJOBS} -y coq-compcert=${COMPCERT_VERSION}
 - travis_wait 10 opam install -j ${NJOBS} -y coq-compcert-64=${COMPCERT_VERSION}
 - ls -l  $(coqc -where)/user-contrib/compcert