From 08461c938486bbdf11d7d717f2f659f47f46951b Mon Sep 17 00:00:00 2001 From: Tim Edwards Date: Fri, 30 Jul 2021 15:40:39 -0400 Subject: [PATCH] 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. --- calma/CalmaRdcl.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/calma/CalmaRdcl.c b/calma/CalmaRdcl.c index ee80b888..b1dd3e5d 100644 --- a/calma/CalmaRdcl.c +++ b/calma/CalmaRdcl.c @@ -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;