savedcmd_drivers/usb/musb/musb_hdrc.mod := printf '%s\n' musb_core.o musb_trace.o musb_virthub.o musb_host.o musb_gadget_ep0.o musb_gadget.o musb_debugfs.o | awk '!x[$$0]++ { print("drivers/usb/musb/"$$0) }' > drivers/usb/musb/musb_hdrc.mod