~amjoseph/ownerboot

ab4fd8e103ccf9504c9d67790d645d7886f2393c — Adam Joseph 2 months ago c706927
src/kernel: remove unnecessary `echo >> .config`

This commit eliminates the shell script lines that explicitly
concatenated lines into the kernel `.config` file.  This is part of
an attempt to move towards more structured, nix-oriented management
of the kernel configuration.
1 files changed, 0 insertions(+), 7 deletions(-)

M src/kernel/default.nix
M src/kernel/default.nix => src/kernel/default.nix +0 -7
@@ 22,13 22,6 @@ in stdenv.mkDerivation {
  configurePhase = ''
    cat ${config} > .config
    echo CONFIG_EXTRA_FIRMWARE_DIR=\"${nixpkgsOnBuildForHost.linux-firmware}/lib/firmware/\" >> .config
    echo CONFIG_GCC_PLUGINS=n >> .config

    # FIXME: remove this after reenable the other space-saving
    # techniques needed to get everything into 8mbytes
    echo CC_OPTIMIZE_FOR_SIZE=y >> .config
    #echo CONFIG_CC_OPTIMIZE_FOR_PERFORMANCE=y >> .config

    make olddefconfig CROSS_COMPILE=${stdenv.cc.targetPrefix} ARCH=${stdenv.hostPlatform.linuxArch}
    runHook preConfigure
    mkdir build