diff options
author | Reiner Herrmann <reiner@reiner-h.de> | 2016-06-26 21:10:07 +0200 |
---|---|---|
committer | Martin Pitt <martin.pitt@ubuntu.com> | 2016-06-26 21:10:07 +0200 |
commit | c77201d9ba927e5d6a1a9dc570306a8ead42fa06 (patch) | |
tree | af9faf89237966948e2b7416bc1306defebbfffb | |
parent | 5c290d88155ae9c663850e12a1ee640341924a47 (diff) |
Sort list of mpi files to get reproducible rules/hwdb files
https://bugs.debian.org/828628
-rw-r--r-- | media-players/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/media-players/Makefile.am b/media-players/Makefile.am index 2929429..09b7083 100644 --- a/media-players/Makefile.am +++ b/media-players/Makefile.am @@ -1,5 +1,5 @@ mpidir = $(datadir)/media-player-info -dist_mpi_DATA = $(shell find $(top_srcdir)/media-players -name "*.mpi" -printf "%p\n") +dist_mpi_DATA = $(shell find $(top_srcdir)/media-players -name "*.mpi" -printf "%p\n" | LC_ALL=C sort) udevrulesdir = $(UDEV_DIR)/rules.d nodist_udevrules_DATA = 40-usb-media-players.rules |