Changeset 38230


Ignore:
Timestamp:
Jul 13, 2008, 10:06:54 AM (11 years ago)
Author:
raimue@…
Message:

port/port.tcl:
Exit gracefully if an invalid global option was given

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/base/src/port/port.tcl

    r38033 r38230  
    31703170
    31713171# Parse global options that will affect all subsequent commands
    3172 parse_options "global" ui_options global_options
     3172if {[catch {parse_options "global" ui_options global_options} result]} {
     3173    puts "Error: $result"
     3174    print_usage
     3175    exit 1
     3176}
    31733177
    31743178# Get arguments remaining after option processing
Note: See TracChangeset for help on using the changeset viewer.