From dbd95cce7d00866172d9a92b190e7eac5b8c3042 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Sat, 1 Feb 2025 16:13:09 -0800 Subject: [PATCH] source set info script Signed-off-by: James Cherry --- sdc/Sdc.tcl | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/sdc/Sdc.tcl b/sdc/Sdc.tcl index d2512ba8..10cf6136 100644 --- a/sdc/Sdc.tcl +++ b/sdc/Sdc.tcl @@ -42,7 +42,13 @@ proc_redirect read_sdc { check_argc_eq1 "read_sdc" $args set echo [info exists flags(-echo)] set filename [file nativename [lindex $args 0]] - source_ $filename $echo 0 + set prev_filename [info script] + try { + info script $filename + source_ $filename $echo $verbose + } finally { + info script $prev_filename + } } ################################################################ @@ -70,7 +76,13 @@ proc_redirect source { set echo [info exists flags(-echo)] set verbose [info exists flags(-verbose)] set filename [file nativename [lindex $args 0]] - source_ $filename $echo $verbose + set prev_filename [info script] + try { + info script $filename + source_ $filename $echo $verbose + } finally { + info script $prev_filename + } } proc source_ { filename echo verbose } {