# HG changeset patch # User Christopher Rogers # Date 1305871040 0 # Node ID 5916d99ede88337b029f29158a1467518b1af0e3 # Parent a7a9578a4345660e84ed4968219757bbbb100ac5 udev-light: Add $CONFIGURE_ARGS. diff -r a7a9578a4345 -r 5916d99ede88 udev-light/receipt --- a/udev-light/receipt Fri May 20 05:54:39 2011 +0000 +++ b/udev-light/receipt Fri May 20 05:57:20 2011 +0000 @@ -29,7 +29,8 @@ --sysconfdir=/etc \ --libexecdir=/lib/udev \ --with-rootlibdir=/lib \ - --disable-extras && + --disable-extras \ + $CONFIGURE_ARGS && make && make install && rm /usr/share/pci.ids