RESOLVED FIXED 130401
Add --reset option to Tools/Scripts/set-webkit-configuration script 
https://bugs.webkit.org/show_bug.cgi?id=130401
Summary Add --reset option to Tools/Scripts/set-webkit-configuration script
Éva Balázsfalvi
Reported 2014-03-18 09:45:08 PDT
Tools/Scripts/set-webkit-configuration creates a file which stores the given default value. There should be a function which removes this file in case we don't want to have a default setting at all.
Attachments
Patch (1.79 KB, patch)
2014-03-18 09:47 PDT, Éva Balázsfalvi 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Éva Balázsfalvi
Comment 1 2014-03-18 09:47:35 PDT
Created attachment 227061 [details] Patch
Csaba Osztrogonác
Comment 2 2014-03-18 10:24:42 PDT
Comment on attachment 227061 [details] Patch LGTM, r=me
WebKit Commit Bot
Comment 3 2014-03-18 10:55:21 PDT
Comment on attachment 227061 [details] Patch Clearing flags on attachment: 227061 Committed r165816: <http://trac.webkit.org/changeset/165816>
WebKit Commit Bot
Comment 4 2014-03-18 10:55:23 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.