diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/pkcs11-coverage.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/pkcs11-coverage.py b/doc/pkcs11-coverage.py index 2df744c..13d7b6c 100644 --- a/doc/pkcs11-coverage.py +++ b/doc/pkcs11-coverage.py @@ -13,7 +13,7 @@ We're anxious to complete this, if you have patches please do contribute. """ # Matches a comment like /** comment */ -PATTERN = re.compile(r"/\*\*.*?\*/") +PATTERN = re.compile("""P11T_([A-Z_]+)\("(.+?)"""") os.chdir("../src") |