diff options
Diffstat (limited to 'Tools/Scripts/update-sources-list.py')
-rwxr-xr-x | Tools/Scripts/update-sources-list.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tools/Scripts/update-sources-list.py b/Tools/Scripts/update-sources-list.py index 433d04a..2a4a5ef 100755 --- a/Tools/Scripts/update-sources-list.py +++ b/Tools/Scripts/update-sources-list.py @@ -40,7 +40,7 @@ def getWebCoreFilesDict(): """ sources = {} sources_prefix = "WEBCORE_" - filepath = os.path.join(wkroot, "WebCore/WebCoreSources.bkl") + filepath = os.path.join(wkroot, "Source", "WebCore", "WebCoreSources.bkl") assert(os.path.exists(filepath)) doc = minidom.parse(filepath) @@ -82,7 +82,7 @@ def generateWebCoreSourcesGTKAndQT(sources): for key in sources.keys(): makefileString += " \\\n\t\t" + key - outfile = os.path.join(wkroot, "WebCore/sources.inc") + outfile = os.path.join(wkroot, "Source", "WebCore", "sources.inc") sourcefile = open(outfile, "w") sourcefile.write(makefileString) sourcefile.close() |