Rename WebKitTools to Tools
[WebKit-https.git] / Tools / Scripts / update-webkit
similarity index 96%
rename from WebKitTools/Scripts/update-webkit
rename to Tools/Scripts/update-webkit
index fd40dcd..6d3e0ee 100755 (executable)
@@ -93,9 +93,9 @@ if (-d "../Internal") {
         rmtree(["WebKit/chromium/Debug", "WebKit/chromium/Release"]);
     }
 
-    system("perl", "WebKitTools/Scripts/update-webkit-chromium") == 0 or die $!;
+    system("perl", "Tools/Scripts/update-webkit-chromium") == 0 or die $!;
 } elsif (isAppleWinWebKit()) {
-    system("perl", "WebKitTools/Scripts/update-webkit-auxiliary-libs") == 0 or die;
+    system("perl", "Tools/Scripts/update-webkit-auxiliary-libs") == 0 or die;
 }
 
 setupAppleWinEnv() if isAppleWinWebKit();