<div dir="ltr"><div class="gmail_extra">Can we get rid of the "if ENABLE_TESTS"? Tests should be executed. If you don't want to run them, don't run "make check".</div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature"><div dir="ltr"><div>-- <br></div>Guillaume Quintard</div></div></div></div></div>