savedcmd_drivers/media/dvb-core/dvb-core.mod := printf '%s\n'   dvbdev.o dmxdev.o dvb_demux.o dvb_ca_en50221.o dvb_frontend.o dvb_ringbuffer.o | awk '!x[$$0]++ { print("drivers/media/dvb-core/"$$0) }' > drivers/media/dvb-core/dvb-core.mod
