<html>

  <head>

    <meta content="text/html; charset=ISO-8859-1"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <div class="moz-cite-prefix">On 02/23/2013 01:54 AM, Cameron Zwarich

      wrote:<br>

    </div>

    <blockquote

      cite="mid:09143762-5A33-4461-94C6-6946FDEFD5A0@apple.com"

      type="cite">

      <pre wrap="">-verify-machineinstrs a</pre>

    </blockquote>

    How do you locally turn on this when running "make check" ?

    <meta http-equiv="content-type" content="text/html;

      charset=ISO-8859-1">

  </body>

</html>