Unverified Commit d75cff2e authored by Alyssa Ross's avatar Alyssa Ross
Browse files

linuxManualConfig: don't build inside source tree

We can avoid the need to explicitly exclude it later if we just put it
somewhere else to begin with.
parent c3e12e57
Loading
Loading
Loading
Loading
+3 −4
Original line number Diff line number Diff line
@@ -156,8 +156,7 @@ let
      configurePhase = ''
        runHook preConfigure

        mkdir build
        export buildRoot="$(pwd)/build"
        export buildRoot=$(mktemp -d)

        echo "manual-config configurePhase buildRoot=$buildRoot pwd=$PWD"

@@ -275,8 +274,8 @@ let
        mkdir -p $dev/lib/modules/${modDirVersion}/{build,source}

        # To save space, exclude a bunch of unneeded stuff when copying.
        (cd .. && rsync --archive --prune-empty-dirs \
            --exclude='/build/' \
        (cd "$NIX_BUILD_TOP" && cd "$sourceRoot" &&
         rsync --archive --prune-empty-dirs \
            * $dev/lib/modules/${modDirVersion}/source/)

        cd $dev/lib/modules/${modDirVersion}/source