bump panda (#30346)

old-commit-hash: d67276a45d
2026-08-05 00:05:59 +08:00 · 2023-10-30 13:08:43 -07:00
parent 554528351b
commit d2f8821ba6
2 changed files with 5 additions and 1 deletions
@@ -26,6 +26,10 @@ AddOption('--ubsan',
          action='store_true',
          help='turn on UBSan')

+AddOption('--coverage',
+          action='store_true',
+          help='build with test coverage options')
+
 AddOption('--clazy',
          action='store_true',
          help='build with clazy')