<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <br>
    <br>
    <font size="+1">I can't reproduce this with the latest master:<br>
      <br>
      hip 1261: git pull<br>
      Already up to date.<br>
      hip 1262: make -f gmakefile.test test search='notatest'<br>
      Using MAKEFLAGS: -- search=notatest<br>
      hip 1263:<br>
      <br>
      <br>
    </font><br>
    <div class="moz-cite-prefix">On 1/19/21 8:19 AM, Stefano Zampini
      wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAGPUisji=MNE9poDcaUvBMNtSBk=72EpGCQCXv2GihvjivPGig@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=utf-8">
      <div dir="ltr">Just rebased over latest master and got this
        <div><br>
        </div>
        <div>zampins@vulture:~/Devel/petsc$ make -f gmakefile.test test
          search='notatest'<br>
          Using MAKEFLAGS: -- search=notatest<br>
          /bin/sh: 1: test: false: unexpected operator<br clear="all">
          <div><br>
          </div>
          -- <br>
          <div dir="ltr" class="gmail_signature"
            data-smartmail="gmail_signature">Stefano</div>
        </div>
      </div>
    </blockquote>
    <br>
    <pre class="moz-signature" cols="72">-- 
Tech-X Corporation               <a class="moz-txt-link-abbreviated" href="mailto:kruger@txcorp.com">kruger@txcorp.com</a>
5621 Arapahoe Ave, Suite A       Phone: (720) 466-3196
Boulder, CO 80303                Fax:   (303) 448-7756</pre>
  </body>
</html>