[Webkit-unassigned] [Bug 42266] New: [GTK] autogen.sh not executed if build-webkit options change

[bugzilla-daemon at webkit.org]

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

           Summary: [GTK] autogen.sh not executed if build-webkit options
                    change
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: PC
        OS/Version: Mac OS X 10.5
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebKit Gtk
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: pnormand at igalia.com


If I build-webkit with --disable-video and later on if I want to rebuild with video support then build-webkit --enable-video should re-execute autogen.sh or configure. It's not the case currently I believe.

One solution could be to make build-webkit save the options somewhere and for the GTK port when the options change compared to last build, re-run autogen.sh or configure.

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