diff options
Diffstat (limited to 'drivers/gpu/mali/Makefile')
-rw-r--r-- | drivers/gpu/mali/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/drivers/gpu/mali/Makefile b/drivers/gpu/mali/Makefile new file mode 100644 index 00000000000..93c95aca19a --- /dev/null +++ b/drivers/gpu/mali/Makefile @@ -0,0 +1,10 @@ +MALI_SUBFOLDER := mali400ko/driver/src/devicedrv/mali +MALIDRM_SUBFOLDER := mali400ko/x11/mali_drm/mali +MALI_FOLDER := $(srctree)/$(src)/$(MALI_SUBFOLDER) +ifeq ($(shell [ -d $(MALI_FOLDER) ] && echo "OK"), OK) +obj-$(CONFIG_GPU_MALI) += $(MALI_SUBFOLDER)/ +obj-y += $(MALIDRM_SUBFOLDER)/ +else +$(warning WARNING: mali: Could not find $(MALI_FOLDER) - mali device driver will not be built) +obj-n += ./ +endif |