diff --git a/compiler/verify/__init__.py b/compiler/verify/__init__.py
index e960f630..8cbbb24f 100644
--- a/compiler/verify/__init__.py
+++ b/compiler/verify/__init__.py
@@ -24,7 +24,7 @@ else:
     OPTS.lvs_exe = get_tool("LVS",["calibre","assura","netgen"])
     OPTS.pex_exe = get_tool("PEX",["calibre","magic"])
 
-if OPTS.tech_name == "freepdk45":
+if OPTS.check_lvsdrc and OPTS.tech_name == "freepdk45":
     debug.check(OPTS.drc_exe[0]!="magic","Magic does not support FreePDK45 for DRC.")
     
 if OPTS.drc_exe == None: