mirror of
https://github.com/boostorg/boostbook.git
synced 2025-05-11 21:33:58 +00:00
Boostbook: Fix run-tests.py
for new generate-id
.
The form of the generated ids has changed due to a security issue. [SVN r82890]
This commit is contained in:
parent
e33a468009
commit
b2cd68b118
@ -90,7 +90,7 @@ def normalize_boostbook_ids(doc):
|
|||||||
if(id in ids):
|
if(id in ids):
|
||||||
print 'Duplicate id: ' + id
|
print 'Duplicate id: ' + id
|
||||||
|
|
||||||
match = re.match("(id|.+_id)(\d+)((?:-bb)?)", id)
|
match = re.match("(id|.+_id)([mp]?\d+)((?:-bb)?)", id)
|
||||||
if(match):
|
if(match):
|
||||||
count = 1
|
count = 1
|
||||||
if(match.group(1) in id_bases):
|
if(match.group(1) in id_bases):
|
||||||
|
Loading…
x
Reference in New Issue
Block a user