From 6bb20c7ba21071f020a312370c03f145b35546d9 Mon Sep 17 00:00:00 2001
From: Shea Levy <shea@shealevy.com>
Date: Sun, 29 Jul 2012 04:23:28 -0400
Subject: [PATCH] linux/kernel/manual-config: Strip modules after install

---
 pkgs/os-specific/linux/kernel/manual-config.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pkgs/os-specific/linux/kernel/manual-config.nix b/pkgs/os-specific/linux/kernel/manual-config.nix
index aa23656171d..d6cf3bf7612 100644
--- a/pkgs/os-specific/linux/kernel/manual-config.nix
+++ b/pkgs/os-specific/linux/kernel/manual-config.nix
@@ -103,4 +103,10 @@ stdenv.mkDerivation ({
     mv $sourceRoot $out/lib/modules/${modDirVersion}/source
     mv build $out/lib/modules/${modDirVersion}/build
   '';
+
+  postFixup = ''
+    if [ -z "$dontStrip" ]; then
+        find $out -name "*.ko" -print0 | xargs -0 strip -S
+    fi
+  '';
 })