mirror of
https://github.com/servo/servo.git
synced 2025-07-31 03:00:29 +01:00
Fix WiX installer and shorten ids
This commit is contained in:
parent
c3c086e521
commit
e9b1042c25
1 changed files with 4 additions and 1 deletions
|
@ -153,7 +153,10 @@ import re
|
||||||
import uuid
|
import uuid
|
||||||
|
|
||||||
def make_id(s):
|
def make_id(s):
|
||||||
return "Id{}".format(s.replace("-", "_").replace("/", "_"))
|
s = s.replace(os.getcwd(), "").replace("-", "_").replace("/", "_").replace("\\", "_")
|
||||||
|
if "browserhtml" in s:
|
||||||
|
s = "browserhtml_" + s[s.index("out") + 4:]
|
||||||
|
return "Id{}".format(s)
|
||||||
|
|
||||||
def listfiles(directory):
|
def listfiles(directory):
|
||||||
return [f for f in os.listdir(directory)
|
return [f for f in os.listdir(directory)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue