diff options
author | Martin Pitt <martin.pitt@ubuntu.com> | 2010-04-30 08:12:50 +0200 |
---|---|---|
committer | Martin Pitt <martin.pitt@ubuntu.com> | 2010-04-30 08:12:50 +0200 |
commit | aa84a69f413f7dd73e81fc2046da89c9bcae0175 (patch) | |
tree | 7392aa5bf3eccafcd61b41abdc72a6d109bbab60 | |
parent | b0dadc89cc245c1ed0bd625c719f0bb3193fb53d (diff) |
Rebuild udev rules on changes of mpi2udev.py
-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 d0ccd97..f533120 100644 --- a/media-players/Makefile.am +++ b/media-players/Makefile.am @@ -3,7 +3,7 @@ dist_mpi_DATA = $(shell find $(top_srcdir)/media-players -name "*.mpi" -printf udevrulesdir = $(udev_dir)/rules.d dist_udevrules_DATA = 40-usb-media-players.rules -40-usb-media-players.rules: $(dist_mpi_DATA) +40-usb-media-players.rules: $(dist_mpi_DATA) $(top_srcdir)/tools/mpi2udev.py $(top_srcdir)/tools/mpi2udev.py $(dist_mpi_DATA) > 40-usb-media-players.rules clean-local: |