Changeset 139557 in webkit

Timestamp:

Jan 12, 2013 6:08:29 PM (11 years ago)

Author:

thakis@chromium.org

Message:

Make ninja the default build system on Linux for build-webkit --chromium
​https://bugs.webkit.org/show_bug.cgi?id=104434

Reviewed by Eric Seidel.

• Scripts/update-webkit:

Location:

trunk/Tools

Files:

• ChangeLog (modified) (1 diff)
• Scripts/update-webkit (modified) (3 diffs)

trunk/Tools/ChangeLog

@@ +1 @@
+2013-01-12  Nico Weber  <thakis@chromium.org>
+
+        Make ninja the default build system on Linux for build-webkit --chromium
+        https://bugs.webkit.org/show_bug.cgi?id=104434
+
+        Reviewed by Eric Seidel.
+
+        * Scripts/update-webkit:
+
 2013-01-12  Alan Cutter  <alancutter@chromium.org>
 

trunk/Tools/Scripts/update-webkit

@@ -48 +48 @@
 my $useGYP = 0;
 my $useMake = 0;
-my $useNinja = 0;
+my $useNinja = $^O eq "linux";
 
 determineIsChromium();
@@ -62 +62 @@
     'gyp' => \$useGYP,
     'make' => \$useMake,
-    'ninja' => \$useNinja,
+    'ninja!' => \$useNinja,
 ); 
 
@@ -70 +70 @@
   --chromium          also update dependencies of the chromium port
   --make              generate the Makefile-based build system (Chromium only)
-  --ninja             generate the ninja-based build system (Chromium only)
+  --[no-]ninja        generate the ninja-based build system (Chromium only)
   --chromium-android  also update dependencies of the chromium port for Android
   -h|--help           show the help message