diff options
Diffstat (limited to 'pkgs/os-specific/linux/kernel')
-rw-r--r-- | pkgs/os-specific/linux/kernel/manual-config.nix | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/pkgs/os-specific/linux/kernel/manual-config.nix b/pkgs/os-specific/linux/kernel/manual-config.nix index 7d12af9811aa..d3fd87912fb8 100644 --- a/pkgs/os-specific/linux/kernel/manual-config.nix +++ b/pkgs/os-specific/linux/kernel/manual-config.nix @@ -108,11 +108,6 @@ let echo "manual-config configurePhase buildRoot=$buildRoot pwd=$PWD" - if [[ -z "$buildRoot" || ! -d "$buildRoot" ]]; then - echo "set $buildRoot to the build folder please" - exit 1 - fi - if [ -f "$buildRoot/.config" ]; then echo "Could not link $buildRoot/.config : file exists" exit 1 |