diff --git a/tools/module_reference.rb b/tools/module_reference.rb index 00f66ecf93..4ff6ec0f20 100755 --- a/tools/module_reference.rb +++ b/tools/module_reference.rb @@ -234,7 +234,10 @@ end puts puts tbl.to_s -puts -puts "Number of bad references found: #{bad_refs_count}" + +if check + puts + puts "Number of bad references found: #{bad_refs_count}" +end save_results(save, tbl.tos) if save