vdoc: trim trailing / (#6856)

pull/6857/head
Daniel Däschle 2020-11-17 15:08:55 +01:00 committed by GitHub
parent fdc0cd4c03
commit ba2c5f68fc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1031,7 +1031,7 @@ fn main() {
}
is_path := cfg.input_path.ends_with('.v') || cfg.input_path.split(os.path_separator).len >
1 || cfg.input_path == '.'
if cfg.input_path == 'vlib' {
if cfg.input_path.trim_right('/') == 'vlib' {
cfg.is_vlib = true
cfg.is_multi = true
cfg.input_path = os.join_path(vexe_path, 'vlib')