922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
|
if {$pinterp eq ""} {
# This should not happen since the validator should handle it
puts "Bad plugin: $plugin"
printPlugins
exit
}
set opts(plugin) $pinterp
set opts(pluginname) $plugin
set opts(pluginallow) $pluginallow
set opts(plugininfo) $plugininfo
set opts(pluginpinfo) $pinfo
}
# Store the command line given opts
set ::eskil(defaultopts) [array get opts]
# Do we start in clip diff mode?
|
|
|
|
|
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
|
if {$pinterp eq ""} {
# This should not happen since the validator should handle it
puts "Bad plugin: $plugin"
printPlugins
exit
}
set opts(plugin) $pinterp
set opts(pluginname,1) $plugin
set opts(pluginallow,1) $pluginallow
set opts(plugininfo,1) $plugininfo
set opts(pluginpinfo) $pinfo
}
# Store the command line given opts
set ::eskil(defaultopts) [array get opts]
# Do we start in clip diff mode?
|