From ce63593800d7511e808c12314ca99326e5ec7c01 Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Sun, 20 Oct 2024 17:10:16 +0300 Subject: [PATCH] tools: cleanup after running compare_pr_to_master.v --- .github/workflows/compare_pr_to_master.v | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/compare_pr_to_master.v b/.github/workflows/compare_pr_to_master.v index 83af18d625..8de3e9e4e3 100755 --- a/.github/workflows/compare_pr_to_master.v +++ b/.github/workflows/compare_pr_to_master.v @@ -72,5 +72,6 @@ fn main() { } else { vcompare('./vold', './vnew') } + r('rm -rf hw nv ov hw.exe nv.exe ov.exe hw.c nv.c ov.c') println('Done.') }