From 403a197e23b2890861fc96fa50d6c9e74818ca1a Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 28 Jul 2024 14:41:42 -0400
Subject: [PATCH] Python lint fix

---
 nodist/code_coverage | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nodist/code_coverage b/nodist/code_coverage
index 00e3730bd..87534b0b7 100755
--- a/nodist/code_coverage
+++ b/nodist/code_coverage
@@ -190,7 +190,7 @@ def test():
                "/app_total.info )")
         print("print: Not running:")
         print("  export CODECOV_TOKEN=<hidden>")
-        print("  find . -name '*.gcno' -exec rm {} \;")
+        print("  find . -name '*.gcno' -exec rm {} \\;")
         print("  " + cmd)
         ci_fold_end()