1 files changed, 4 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 59624891e6..7b974d08ba 100644
--- a/Makefile
+++ b/Makefile
@@ -78,4 +78,7 @@ else
 	$(error You need to run $(srcdir)/configure before you can run make. Check $(srcdir)/configure --help for a list of parameters)
 endif
 
-include $(srcdir)/ports.mk
+ifneq ($(origin port_mk), undefined)
+include $(srcdir)/$(port_mk)
+endif
+