tree da88cafa9d07169c4e8c4d74a0e637285942f50c
parent 9333887a8d6489d9de3212828a69e3c66f41c085
author Davide Pesavento <davide.pesavento@lip6.fr> 1496964854 -0400
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> 1497911945 -0700

ci: simplify and improve 40-standalone-header-compilation.sh

Change-Id: Ifab7a20edf84a69932bd81c4e86ca8e4daa439ce