Title: [150198] trunk/Tools
- Revision
- 150198
- Author
- [email protected]
- Date
- 2013-05-16 12:09:57 -0700 (Thu, 16 May 2013)
Log Message
[jhbuild] Should remove the sources directory as well when cleaning
https://bugs.webkit.org/show_bug.cgi?id=116229
Patch by Gustavo Noronha Silva <[email protected]> on 2013-05-16
Reviewed by Martin Robinson.
* Scripts/update-webkit-libs-jhbuild:
(cleanJhbuild): remove the Source directory as well when cleaning.
Modified Paths
Diff
Modified: trunk/Tools/ChangeLog (150197 => 150198)
--- trunk/Tools/ChangeLog 2013-05-16 19:08:38 UTC (rev 150197)
+++ trunk/Tools/ChangeLog 2013-05-16 19:09:57 UTC (rev 150198)
@@ -1,3 +1,13 @@
+2013-05-16 Gustavo Noronha Silva <[email protected]>
+
+ [jhbuild] Should remove the sources directory as well when cleaning
+ https://bugs.webkit.org/show_bug.cgi?id=116229
+
+ Reviewed by Martin Robinson.
+
+ * Scripts/update-webkit-libs-jhbuild:
+ (cleanJhbuild): remove the Source directory as well when cleaning.
+
2013-05-15 Dominik Röttsches <[email protected]>
[EFL] Remove Intel Wk2 Buildbots from Master
Modified: trunk/Tools/Scripts/update-webkit-libs-jhbuild (150197 => 150198)
--- trunk/Tools/Scripts/update-webkit-libs-jhbuild 2013-05-16 19:08:38 UTC (rev 150197)
+++ trunk/Tools/Scripts/update-webkit-libs-jhbuild 2013-05-16 19:09:57 UTC (rev 150198)
@@ -101,8 +101,6 @@
sub cleanJhbuild()
{
- runJhbuild("clean");
-
# If the configuration changed, dependencies may have been removed.
# Since we lack a granular way of uninstalling those we wipe out the
# jhbuild root and start from scratch.
@@ -110,6 +108,10 @@
if (system("rm -rf $jhbuildPath/Root") ne 0) {
die "Cleaning jhbuild root failed!";
}
+
+ if (system("rm -rf $jhbuildPath/Source") ne 0) {
+ die "Cleaning jhbuild sources failed!";
+ }
}
delete $ENV{AR_FLAGS} if exists $ENV{AR_FLAGS};
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
