<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
As others have pointed out, the targets you are looking for are available. If<br>
you dont like how they are named, please just create yourself some function or<br>
alias in your local ~/.bashrc, but do not force this on the rest of the world[1].<br></blockquote></div></div></div></div></blockquote><div><br></div><div>Anyway adding an optional configure option does not mean forcing anybody to do anything.</div><div>It was just the idea of an other quasi hidden option (as there are a lots of mostly unknown configure options), but as I said I can solve it my local machine.</div><div>I was just interested in what is the reason of running random tests by plain make.</div><div><br></div><div>Best Regards,</div><div>Tamás</div><div><br></div></div></div></div>