savedcmd_drivers/video/fbdev/riva/rivafb.mod := printf '%s\n' fbdev.o riva_hw.o nv_driver.o | awk '!x[$$0]++ { print("drivers/video/fbdev/riva/"$$0) }' > drivers/video/fbdev/riva/rivafb.mod