[lkml]   [2002]   [Aug]   [20]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [kbuild-devel] Re: [patch] config language dep_* enhancements
    Date said:
    > David suggest to use randomly generated configurations, but they lack
    > one important feature. They are always valid, and a new system shall
    > be able to deal with hand-edited .config files in the same way as
    > oldconfig.

    I suggested those as a way for testing the equivalence of the old and new
    rulesets if the language changed. My main objection to CML2 was not the
    language itself or the gratuitous use of python, but the fact that the
    actual configuration rules were changed in extremely dubious ways.

    Think 'provably correct transforms between AndreCode and C'.

    You do also want to deal with hand-edited .config files in a similar manner
    to the existing tools, yes -- but that's a different issue.


    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to
    More majordomo info at
    Please read the FAQ at

     \ /
      Last update: 2005-03-22 13:28    [W:5.322 / U:0.016 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site