media-player-info: fix build

This commit is contained in:
Robin Gloster 2019-11-11 19:47:34 +01:00 committed by Jan Tojnar
parent f9268589f8
commit c9c03c00de
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4

View File

@ -19,9 +19,7 @@ in
patchShebangs ./tools patchShebangs ./tools
''; '';
preConfigure = '' configureFlags = [ "--with-udevdir=${placeholder "out"}/lib/udev" ];
configureFlags="$configureFlags --with-udevdir=$out/lib/udev"
'';
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "A repository of data files describing media player capabilities"; description = "A repository of data files describing media player capabilities";