• Luca Boccassi's avatar
    Add build profile and config/defines for disabling linux-source · b3be4507
    Luca Boccassi authored
    Add a new "pkg.linux.nosource" to let users disable building the
    linux-source-* package, and allow to set "source: false" to modify
    the default behaviour when no rofile is used.
    When doing development builds this can save up to 15 minutes of build
    time, especially on IO-strapped build workers.
    b3be4507
gencontrol.py 28 KB