From 43e0727f04ed026832c8a5757f8116773828fc5f Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Sun, 23 Sep 2007 18:05:11 +0000
Subject: [PATCH] corrected /dev/null patch

svn path=/nixpkgs/trunk/; revision=9363
---
 pkgs/lib/empty.file             | 0
 pkgs/top-level/all-packages.nix | 6 +++---
 2 files changed, 3 insertions(+), 3 deletions(-)
 create mode 100644 pkgs/lib/empty.file

diff --git a/pkgs/lib/empty.file b/pkgs/lib/empty.file
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 5b913cfcae1..553c8a063b7 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -2762,13 +2762,13 @@ rec {
         extraConfig = "CONFIG_FB_SPLASH=y";
       }
     ]++
-	/*(if (getConfig ["kernel" "no_hz"] false) then */[
+	(if (getConfig ["kernel" "no_hz"] false) then [
 	{
 		name = "Enable-NO_HZ";
-		patch = /dev/null;
+		patch = ../lib/empty.file;
 		extraConfig = "NO_HZ=y\n";
 	}
-	]/* else [])*/
+	] else [])
 	;
   };