diff --git a/platform/Makefile b/platform/Makefile
index d56b4beca..5bf9ce73a 100644
--- a/platform/Makefile
+++ b/platform/Makefile
@@ -54,6 +54,7 @@ VPATH       += board
 ROOTDEPPATH += --obj-path bin
 ROOTDEPPATH += --obj-suffix $(OBJEXT)
 ROOTDEPPATH += --dep-path $(PLATFORMDIR)
+ROOTDEPPATH += --dep-path $(GNUDIR)
 
 # Binaries