make.bat: optimize vc download

This commit is contained in:
yuyi 2020-05-22 16:46:55 +08:00 committed by GitHub
parent 1cc52b0fae
commit fe0b587b1f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 8 deletions

1
.gitignore vendored
View file

@ -18,6 +18,7 @@ a.out
.noprefix.vrepl_temp
# ignore v build files
/vc
/v.c
/v.*.c
/v.c.out