savedcmd_drivers/gpu/drm/exynos/exynosdrm.mod := printf '%s\n'   exynos_drm_drv.o exynos_drm_crtc.o exynos_drm_fb.o exynos_drm_gem.o exynos_drm_plane.o exynos_drm_dma.o exynos_drm_fbdev.o exynos5433_drm_decon.o exynos7_drm_decon.o exynos_drm_dsi.o exynos_hdmi.o exynos_drm_mic.o | awk '!x[$$0]++ { print("drivers/gpu/drm/exynos/"$$0) }' > drivers/gpu/drm/exynos/exynosdrm.mod
