/[dejagnu]/dejagnu/config/sid.exp
ViewVC logotype

Diff of /dejagnu/config/sid.exp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.2 by rsavoye, Mon Mar 17 02:25:07 2003 UTC revision 1.3 by bje, Thu Aug 7 03:42:43 2003 UTC
# Line 42  proc set_host_info { entry value } { Line 42  proc set_host_info { entry value } {
42    
43      set machine host      set machine host
44      if [info exists target_info($machine,name)] {      if [info exists target_info($machine,name)] {
45          set machine $target_info($machine,name);          set machine $target_info($machine,name)
46      }      }
47      set board_info($machine,$entry) $value      set board_info($machine,$entry) $value
48  }  }

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26