From 30fa5e41be9f40e707c57a7aa78107832fa94b8c Mon Sep 17 00:00:00 2001
From: Geza Lore <gezalore@gmail.com>
Date: Mon, 19 Jul 2021 17:00:23 +0100
Subject: [PATCH] Don't emit trace files with --lint-only

---
 src/V3EmitCImp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/V3EmitCImp.cpp b/src/V3EmitCImp.cpp
index 7b767ab99..78d65c49f 100644
--- a/src/V3EmitCImp.cpp
+++ b/src/V3EmitCImp.cpp
@@ -718,7 +718,7 @@ void V3EmitC::emitcImp() {
     }
 
     // Emit trace routines (currently they can only exist in the top module)
-    if (v3Global.opt.trace()) {
+    if (v3Global.opt.trace() && !v3Global.opt.lintOnly()) {
         EmitCTrace::main(v3Global.rootp()->topModulep(), /* slow: */ true);
         EmitCTrace::main(v3Global.rootp()->topModulep(), /* slow: */ false);
     }