mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-10-06 01:43:00 +02:00
Simple change to "gds read" to print out a diagnostic message for
every 5000 uses read instead of 100; this significantly cuts down on the output.
This commit is contained in:
+1
-1
@@ -398,7 +398,7 @@ calmaParseStructure(filename)
|
||||
{
|
||||
if (SigInterruptPending)
|
||||
goto done;
|
||||
if (nsrefs > osrefs && (nsrefs % 100) == 0)
|
||||
if (nsrefs > osrefs && (nsrefs % 5000) == 0)
|
||||
TxPrintf(" %d uses\n", nsrefs);
|
||||
osrefs = nsrefs;
|
||||
calmaNonManhattan = 0;
|
||||
|
||||
Reference in New Issue
Block a user