Changeset 37268 for trunk/base/src
- Timestamp:
- 06/01/08 16:27:34 (6 months ago)
- Files:
-
- 1 modified
-
trunk/base/src/port/port.tcl (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/base/src/port/port.tcl
r37254 r37268 1353 1353 if {![info exists portinfo($ropt)]} { 1354 1354 if {!$quiet} { 1355 puts "no info for '$opt'"1355 puts stderr "no info for '$opt'" 1356 1356 } 1357 1357 continue

