From 999b4a47c1b435b07887bd7a15f0e8044e39480f Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Wed, 24 Mar 2021 13:04:05 +0200 Subject: [PATCH] tools: cleanup check_os_api_parity.v --- cmd/tools/check_os_api_parity.v | 2 -- 1 file changed, 2 deletions(-) diff --git a/cmd/tools/check_os_api_parity.v b/cmd/tools/check_os_api_parity.v index 9a7b38cf7f..9eb73a08f9 100644 --- a/cmd/tools/check_os_api_parity.v +++ b/cmd/tools/check_os_api_parity.v @@ -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() {