tree fdc5e45c84eef2e3d0f74a3ac8f905dfdf0d43c9
parent e41e71e830ba81f8ddcf99285982560a139cc6d5
author Davide Pesavento <davide.pesavento@lip6.fr> 1543299817 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1543301153 -0500

Update build flags, Jenkins scripts, and Travis configuration

Change-Id: I738e9a9cd21be6c94e1ae3f646c959cdb89ab6f0