<pre style='margin:0'>
Ken (kencu) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/9842029531511b30f421ca550777f6b8814a4ac8">https://github.com/macports/macports-ports/commit/9842029531511b30f421ca550777f6b8814a4ac8</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 9842029531511b30f421ca550777f6b8814a4ac8
</span>Author: Ken Cunningham <kencu@macports.org>
AuthorDate: Sun Aug 15 21:42:27 2021 -0700

<span style='display:block; white-space:pre;color:#404040;'>    lean: enable testing
</span>---
 math/lean/Portfile | 4 ++++
 1 file changed, 4 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/lean/Portfile b/math/lean/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index f654b551d72..8a9df618116 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -30,3 +30,7 @@ cmake.generator     Ninja
</span> set worksrcdir      ${worksrcdir}/src
 
 compiler.cxx_standard 2011
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.run            yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.cmd            ninja
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.target         test
</span></pre><pre style='margin:0'>

</pre>