tree e774dfbd75ea0ad17bc08a1a66abf7fcaec5beb6
parent dca56eacbad4f2c70a2334c4cba2a6e96b581162
author Davide Pesavento <davide.pesavento@lip6.fr> 1541285470 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1541285470 -0400

ci: fix another issue with preinstalled homebrew packages on Travis

Change-Id: I7aa53d7ac0daadf8eb2b970ae0fe289899aa023d