Hello swift support,<div><br></div><div>I just downloaded the most recent version of the swift trunk, and now Swift prints to a progress report every 3 seconds. </div><div>(Something of the form "Progress: .... ")</div>
<div>Beforehand, swift printed something every 30 seconds, and that made scrolling through swift's output much more manageable. How can I change this back, so that swift delivers reports much less often?</div><div><br>
</div><div>Jonathan</div>