mirror of
https://github.com/vlang/v.git
synced 2023-08-10 21:13:21 +03:00
v.pref: handle |
as separators in -path option parsing again (as documented in the help)
This commit is contained in:
parent
c2b4c645a1
commit
e7b2aefd36
@ -168,8 +168,7 @@ pub fn (v Builder) get_builtin_files() []string {
|
|||||||
return []
|
return []
|
||||||
}
|
}
|
||||||
*/
|
*/
|
||||||
// println('get_builtin_files() lookuppath:')
|
v.log('v.pref.lookup_path: $v.pref.lookup_path')
|
||||||
// println(v.pref.lookup_path)
|
|
||||||
// Lookup for built-in folder in lookup path.
|
// Lookup for built-in folder in lookup path.
|
||||||
// Assumption: `builtin/` folder implies usable implementation of builtin
|
// Assumption: `builtin/` folder implies usable implementation of builtin
|
||||||
for location in v.pref.lookup_path {
|
for location in v.pref.lookup_path {
|
||||||
|
@ -286,7 +286,7 @@ pub fn parse_args(args []string) (&Preferences, string) {
|
|||||||
}
|
}
|
||||||
'-path' {
|
'-path' {
|
||||||
path := cmdline.option(current_args, '-path', '')
|
path := cmdline.option(current_args, '-path', '')
|
||||||
res.lookup_path = path.split(os.path_delimiter)
|
res.lookup_path = path.replace('|', os.path_delimiter).split(os.path_delimiter)
|
||||||
i++
|
i++
|
||||||
}
|
}
|
||||||
'-custom-prelude' {
|
'-custom-prelude' {
|
||||||
|
Loading…
Reference in New Issue
Block a user