gdbserverproxy-module-drv: linux
	@echo ==============================================
	@echo      Building gdbserverproxy-module-drv
	@echo ==============================================
	@cd board-support/extra-drivers; \
	cd `find . -maxdepth 1 -name "gdbserverproxy*"`; \
	make ARCH=arm KERNEL_SRC=$(LINUXKERNEL_INSTALL_DIR) PLATFORM=__PLATFORM_GDBSERVERPROXY__

gdbserverproxy-module-drv_clean:
	@echo ==============================================
	@echo      Cleaning gdbserverproxy-module-drv
	@echo ==============================================
	@cd board-support/extra-drivers; \
	cd `find . -maxdepth 1 -name "gdbserverproxy*"`; \
	make ARCH=arm KERNEL_SRC=$(LINUXKERNEL_INSTALL_DIR) PLATFORM=__PLATFORM_GDBSERVERPROXY__ clean

gdbserverproxy-module-drv_install:
	@echo ==============================================
	@echo      Installing gdbserverproxy-module-drv
	@echo ==============================================
	@if [ ! -d $(DESTDIR) ] ; then \
		echo "The extracted target filesystem directory doesn't exist."; \
		echo "Please run setup.sh in the SDK's root directory and then try again."; \
		exit 1; \
	fi
	@cd board-support/extra-drivers; \
	cd `find . -maxdepth 1 -name "gdbserverproxy*"`; \
	make ARCH=arm  KERNEL_SRC=$(LINUXKERNEL_INSTALL_DIR)  INSTALL_MOD_PATH=$(DESTDIR) PREFIX=$(SDK_PATH_TARGET) INSTALL_MOD_STRIP=$(INSTALL_MOD_STRIP) PLATFORM=__PLATFORM_GDBSERVERPROXY__ modules_install