removing debug options

Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
hdl · Feb 27, 2024 · e0f35ed · e0f35ed
1 parent e79e856
commit e0f35ed
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/synthesis/synth.tcl b/synthesis/synth.tcl
@@ -90,9 +90,9 @@ dfflibmap -liberty $liberty
 opt
 
 if { [info exists ::env(CLOCK_PERIOD) ] } {
-  abc -showtmp -nocleanup -liberty $liberty -dff -script $::env(ABC_SCRIPT) -constr $::env(CONSTR) -g aig -D $::env(CLOCK_PERIOD) {*}$::env(DONT_USE_ARGS)
+  abc -liberty $liberty -dff -script $::env(ABC_SCRIPT) -constr $::env(CONSTR) -g aig -D $::env(CLOCK_PERIOD) {*}$::env(DONT_USE_ARGS)
 } else {
-  abc -showtmp -nocleanup -liberty $liberty -dff -script $::env(ABC_SCRIPT) -constr $::env(CONSTR) -g aig {*}$::env(DONT_USE_ARGS)
+  abc -liberty $liberty -dff -script $::env(ABC_SCRIPT) -constr $::env(CONSTR) -g aig {*}$::env(DONT_USE_ARGS)
 }
 
 setundef -zero