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()