Merge WebKit at r78450: Initial merge by git.

[android-x86/external-webkit.git] / Tools / BuildSlaveSupport / built-product-archive

diff --git a/Tools/BuildSlaveSupport/built-product-archive b/Tools/BuildSlaveSupport/built-product-archive
index 611d006..9dee922 100644 (file)
--- a/Tools/BuildSlaveSupport/built-product-archive
+++ b/Tools/BuildSlaveSupport/built-product-archive
@@ -89,7 +89,7 @@ def archiveBuiltProduct(configuration, platform):
             shutil.rmtree(thinDirectory)
         os.mkdir(thinDirectory)
 
-        for dirname in ["bin", "lib", "Source/JavaScriptCore"]:
+        for dirname in ["bin", "lib", "JavaScriptCore"]:
             fromDir = os.path.join(configurationBuildDirectory, dirname, "*")
             toDir = os.path.join(thinDirectory, dirname)
             os.makedirs(toDir)