<div dir="auto">Nobody touch anything. </div><div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Tue, Apr 29, 2025 at 11:35 AM Satish Balay <<a href="mailto:balay.anl@fastmail.org">balay.anl@fastmail.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">On Tue, 29 Apr 2025, Jeffrey Hyman wrote:<br>
<br>
> We got there. configure, make and check all worked. Again, thanks for the<br>
> help. Much appreciated.<br>
<br>
Glad you have a working build now!<br>
<br>
Satish<br>
</blockquote></div></div>