media-player-info: patch extra shebangs to fix chroot build

2015-02-25 12:07:37 -06:00
parent c6ead8477d
commit ad06db5ddc
1 changed files with 4 additions and 0 deletions
--- a/pkgs/data/misc/media-player-info/default.nix
+++ b/pkgs/data/misc/media-player-info/default.nix
@@ -15,6 +15,10 @@ in
    buildInputs = [ udev ];
    nativeBuildInputs = [ pkgconfig python3 ];

+    postPatch = ''
+      patchShebangs ./tools
+    '';
+
    preConfigure = ''
      configureFlags="$configureFlags --with-udevdir=$out/lib/udev"
    '';