more descriptive error, when wrong option is used

This commit is contained in:
Tone Kokalj 2022-01-09 10:47:19 +01:00
parent 737560c540
commit 7f8bb7ba0f
1 changed files with 1 additions and 1 deletions

View File

@ -103,7 +103,7 @@ if { $argc > 0 } {
set open 1
}
default {
puts $usage
puts "\n Incorrect option \"$opt\", aborting...\n$usage"
exit 1
}
}