Title: [165816] trunk/Tools
- Revision
- 165816
- Author
- [email protected]
- Date
- 2014-03-18 10:54:53 -0700 (Tue, 18 Mar 2014)
Log Message
Add --reset option to Tools/Scripts/set-webkit-configuration script
https://bugs.webkit.org/show_bug.cgi?id=130401
Patch by Eva Balazsfalvi <[email protected]> on 2014-03-18
Reviewed by Csaba Osztrogonác.
* Scripts/set-webkit-configuration:
Modified Paths
Diff
Modified: trunk/Tools/ChangeLog (165815 => 165816)
--- trunk/Tools/ChangeLog 2014-03-18 17:40:25 UTC (rev 165815)
+++ trunk/Tools/ChangeLog 2014-03-18 17:54:53 UTC (rev 165816)
@@ -1,3 +1,12 @@
+2014-03-18 Eva Balazsfalvi <[email protected]>
+
+ Add --reset option to Tools/Scripts/set-webkit-configuration script
+ https://bugs.webkit.org/show_bug.cgi?id=130401
+
+ Reviewed by Csaba Osztrogonác.
+
+ * Scripts/set-webkit-configuration:
+
2014-03-18 Alberto Garcia <[email protected]>
[GTK] [CMake] build-webkit-options.txt is not generated during a fresh build
Modified: trunk/Tools/Scripts/set-webkit-configuration (165815 => 165816)
--- trunk/Tools/Scripts/set-webkit-configuration 2014-03-18 17:40:25 UTC (rev 165815)
+++ trunk/Tools/Scripts/set-webkit-configuration 2014-03-18 17:54:53 UTC (rev 165816)
@@ -38,6 +38,7 @@
--64-bit Set the default architecture to 64-bit
--debug Set the default configuration to debug
--release Set the default configuration to release
+ --reset Reset configurations
EOF
my $configuration = passedConfiguration();
@@ -54,14 +55,20 @@
}
}
+my $baseProductDir = baseProductDir();
+system "mkdir", "-p", "$baseProductDir";
+
+if (checkForArgumentAndRemoveFromARGV("--reset")) {
+ unlink "$baseProductDir/Configuration";
+ unlink "$baseProductDir/Architecture";
+ exit 0;
+}
+
if (!$configuration && !$architecture) {
print STDERR $usage;
exit 1;
}
-my $baseProductDir = baseProductDir();
-system "mkdir", "-p", "$baseProductDir";
-
if ($configuration) {
open CONFIGURATION, ">", "$baseProductDir/Configuration" or die;
print CONFIGURATION $configuration;
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
