Subject: Re: bug#35357: udev - ${exec_prefix} left over somewhere

From: Ludovic Courtès <[email-masked]>
Date: Mon, 16 Mar 2020 14:25:51 +0100

Hello,

Danny Milosavljevic <[email-masked]> skribis:

> vmunix: [   11.748355] udevd[513]: failed to execute '/gnu/store/gdm4g9h9nk5g922g56vq89jhbzbda4sc-eudev-3.2.7/lib/udev/${exec_prefix}/bin/udevadm' '${exec_prefix}/bin/udevadm trigger -s block -p ID_BTRFS_READY=0': No such file or directory

I hadn’t noticed this bug report, but it’s now fixed with commit
24a4a635fd76a91463c75cfe615929ec482cc2f6.

Ludo’.