ARM: SAMSUNG: Rename s5p-time to samsung-time
[cascardo/linux.git] / arch / arm / plat-samsung / Makefile
index 3a7c64d..e1244eb 100644 (file)
@@ -13,7 +13,7 @@ obj-                          :=
 
 obj-y                          += init.o cpu.o
 obj-$(CONFIG_ARCH_USES_GETTIMEOFFSET)   += time.o
-obj-$(CONFIG_S5P_HRT)          += s5p-time.o
+obj-$(CONFIG_SAMSUNG_HRT)      += samsung-time.o
 
 obj-$(CONFIG_SAMSUNG_CLOCK)    += clock.o
 obj-$(CONFIG_SAMSUNG_CLOCK)    += pwm-clock.o