From 8646394b84884ca6ac4cc3ed2667b658399eefd9 Mon Sep 17 00:00:00 2001 From: Dirk Zimoch Date: Fri, 27 Jul 2018 15:40:17 +0200 Subject: [PATCH] fix for EPICS 7 --- App/tools/expandDBD.tcl | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/App/tools/expandDBD.tcl b/App/tools/expandDBD.tcl index 09a3a9c..0539876 100755 --- a/App/tools/expandDBD.tcl +++ b/App/tools/expandDBD.tcl @@ -12,14 +12,14 @@ set filesDone {} while {[llength $argv]} { switch -glob -- [lindex $argv 0] { - "-3*" { set epicsversion [string range [lindex $argv 0] 1 end]} - "-q" { set quiet 1 } - "-r" { set recordtypes 1; set quiet 1 } - "-I" { lappend seachpath [lindex $argv 1]; set argv [lreplace $argv 0 1]; continue } - "-I*" { lappend seachpath [string range [lindex $argv 0] 2 end] } - "--" { set argv [lreplace $argv 0 0]; break } - "-*" { puts stderr "Unknown option [lindex $argv 0] ignored" } - default { break } + "-[0-9]*" { set epicsversion [string range [lindex $argv 0] 1 end]} + "-q" { set quiet 1 } + "-r" { set recordtypes 1; set quiet 1 } + "-I" { lappend seachpath [lindex $argv 1]; set argv [lreplace $argv 0 1]; continue } + "-I*" { lappend seachpath [string range [lindex $argv 0] 2 end] } + "--" { set argv [lreplace $argv 0 0]; break } + "-*" { puts stderr "Warning: Unknown option [lindex $argv 0] ignored" } + default { break } } set argv [lreplace $argv 0 0] }