vieter-v
/
v
2
0
Fork 0
Code Issues Pull Requests Releases Activity

tools: cleanup check_os_api_parity.v

pull/9451/head
Delyan Angelov 2021-03-24 13:04:05 +02:00
parent 9b78d7d21d
commit 999b4a47c1
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cmd/tools/check_os_api_parity.v
View File

@ -60,8 +60,6 @@ fn main() {
}
}
howmany := app.api_differences.len
eprintln('NB: please, do run `git clean -xf` after this tool, or at least `find thirdparty/ |grep .o$|xargs rm`')
eprintln('otherwise, `./v test-self` may show false positives, due to .o files compiled with a cross compiler.')
if howmany > 0 {
eprintln(term.header('Found $howmany modules with different APIs', '='))
for m in app.api_differences.keys() {