Title: [139557] trunk/Tools
Revision
139557
Author
[email protected]
Date
2013-01-12 18:08:29 -0800 (Sat, 12 Jan 2013)

Log 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:

Modified Paths

Diff

Modified: trunk/Tools/ChangeLog (139556 => 139557)


--- trunk/Tools/ChangeLog	2013-01-13 01:44:04 UTC (rev 139556)
+++ trunk/Tools/ChangeLog	2013-01-13 02:08:29 UTC (rev 139557)
@@ -1,3 +1,12 @@
+2013-01-12  Nico Weber  <[email protected]>
+
+        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  <[email protected]>
 
         Migrate the remaining bots in EC2 to Google Compute Engine

Modified: trunk/Tools/Scripts/update-webkit (139556 => 139557)


--- trunk/Tools/Scripts/update-webkit	2013-01-13 01:44:04 UTC (rev 139556)
+++ trunk/Tools/Scripts/update-webkit	2013-01-13 02:08:29 UTC (rev 139557)
@@ -47,7 +47,7 @@
 my $showHelp;
 my $useGYP = 0;
 my $useMake = 0;
-my $useNinja = 0;
+my $useNinja = $^O eq "linux";
 
 determineIsChromium();
 determineIsChromiumAndroid();
@@ -61,7 +61,7 @@
     'q|quiet' => \$quiet,
     'gyp' => \$useGYP,
     'make' => \$useMake,
-    'ninja' => \$useNinja,
+    'ninja!' => \$useNinja,
 ); 
 
 if (!$getOptionsResult || $showHelp) {
@@ -69,7 +69,7 @@
 Usage: @{[ basename($0) ]} [options]
   --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
   -q|--quiet          pass -q to svn update for quiet updates
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to