# -*- makefile -*-

default_CONFIG = CONFIG_BOARD_VARIANT=x

#include_HEADERS = $(notdir $(wildcard $(SOURCES_DIR)/*.h))

ifneq ($(CONFIG_BOARD_VARIANT),)

renamed_include_HEADERS = system_def-$(CONFIG_BOARD_VARIANT).h->system_def.h

else

include_HEADERS = system_def.h

endif # CONFIG_BOARD_VARIANT