paf_reload

这是一个Linux下的集成开发环境

#!/usr/local/bin/wish -f
set paf_rcsid "\$Id: paf_reload,v 1.1.1.1 2002/04/18 23:42:14 mdejong Exp $"
# This program tells PAF the reload files specified in the command line.
# The target project name must contain the string "test".

wm withdraw .

foreach intp [winfo interps] {
    if {![string match "*paf*" $intp]} {
        continue
    }
    set msg ""
    set pars ""
    set cmd {set tmp $PafProjectName}
    catch {set pars [send $intp $cmd]} msg
    if {$msg != ""} {
        puts stdout $msg
    }
    if {[string match "*test*" $pars]} {
	send $intp paf_reload_files [list $argv]
    }
}
exit