drivers/platform/Makefile - linux - Git at Google

 #
 # Makefile for linux/drivers/platform
 #

 obj-$(CONFIG_X86)		+= x86/
	#
	# Makefile for linux/drivers/platform
	#

	obj-$(CONFIG_X86) += x86/