• Guido Gunther's avatar
    build_kernel_deb: Use bindeb-pkg · 68220d4e
    Guido Gunther authored
    We're not using the source package atm and since we can reference the
    kernel by git hash it's simple to find the exact commit that was used to
    build it so skip building the source package to make things faster.