[Webkit-unassigned] [Bug 130401] New: Add --reset option to Tools/Scripts/set-webkit-configuration script

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=130401

           Summary: Add --reset option to
                    Tools/Scripts/set-webkit-configuration script
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: Tools / Tests
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: evab.u-szeged at partner.samsung.com


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.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.