doc: fix doc command error running in vroot

pull/4220/head
yuyi 2020-04-03 18:00:33 +08:00 committed by GitHub
parent 4cde6c0865
commit 50b9faf347
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions

View File

@ -56,11 +56,6 @@ fn main() {
launch_tool(prefs2.is_verbose, 'v' + command)
return
}
if command in ['run', 'build'] || command.ends_with('.v') || os.exists(command) {
arg := join_flags_and_argument()
compile.compile(command, arg)
return
}
match command {
'help' {
invoke_help_and_exit(args)
@ -100,6 +95,11 @@ fn main() {
}
else {}
}
if command in ['run', 'build'] || command.ends_with('.v') || os.exists(command) {
arg := join_flags_and_argument()
compile.compile(command, arg)
return
}
eprintln('v $command: unknown command\nRun "v help" for usage.')
exit(1)
}