vast: accept .vv file (#10305)

pull/10323/head
zakuro 2021-06-02 22:10:15 +09:00 committed by GitHub
parent 4b2319fd67
commit 3e89b60784
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -73,7 +73,7 @@ fn get_abs_path(path string) string {
// check file is v file and exists
fn check_file(file string) {
if os.file_ext(file) !in ['.v', '.vsh'] {
if os.file_ext(file) !in ['.v', '.vv', '.vsh'] {
panic('the file `$file` must be a v file or vsh file')
}
if !os.exists(file) {