<div dir="ltr"><div><div class="gmail_extra"><div class="gmail_quote">2017-11-10 7:44 GMT+01:00 Noel Grandin <span dir="ltr"><<a href="mailto:noelgrandin@gmail.com" target="_blank">noelgrandin@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">if you don't want to run the tests you can do<div>   </div><div>     make <module>.build</div>​</div>
</blockquote></div><br></div></div><div class="gmail_extra">Great, but then what is simple make for?<br></div></div>