<pre style='margin:0'>
Rainer Müller (raimue) pushed a commit to branch master
in repository macports-base.

</pre>
<p><a href="https://github.com/macports/macports-base/commit/7995ffb58b91721f90d5661822b41471a54b3369">https://github.com/macports/macports-base/commit/7995ffb58b91721f90d5661822b41471a54b3369</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 7995ffb58b91721f90d5661822b41471a54b3369
</span>Author: Rainer Müller <raimue@macports.org>
AuthorDate: Fri Apr 27 02:45:02 2018 +0200

<span style='display:block; white-space:pre;color:#404040;'>    mportsync: Run portindex after snapshot tarball
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    If the snapshot tarball does not provide pre-generated PortIndex files,
</span><span style='display:block; white-space:pre;color:#404040;'>    run portindex after syncing.
</span>---
 src/macports1.0/macports.tcl | 2 ++
 1 file changed, 2 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/src/macports1.0/macports.tcl b/src/macports1.0/macports.tcl
</span><span style='display:block; white-space:pre;color:#808080;'>index 7cf6139..650bb02 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/src/macports1.0/macports.tcl
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/src/macports1.0/macports.tcl
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -2807,6 +2807,8 @@ proc mportsync {{optionslist {}}} {
</span>                 set platindex "PortIndex_${macports::os_platform}_${macports::os_major}_${macports::os_arch}/PortIndex"
                 if {[file isfile ${destdir}/$platindex] && [file isfile ${destdir}/${platindex}.quick]} {
                     file rename -force ${destdir}/$platindex ${destdir}/${platindex}.quick $destdir
<span style='display:block; white-space:pre;background:#e0ffe0;'>+                } else {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    set needs_portindex true
</span>                 }
 
                 file delete $tarpath
</pre><pre style='margin:0'>

</pre>