From 66e3cf569e83f0423d7eae57fdbe340ce66d3df5 Mon Sep 17 00:00:00 2001
From: Francisco Molina <femolina@uc.cl>
Date: Tue, 15 Oct 2019 14:12:56 +0200
Subject: [PATCH] makefiles/vars.inc.mk: add PROG_DEV variable

- Introduce new PROG_DEV variable to specify device PORT used by the
  PROGRAMMER or DEBUGGER.
---
 makefiles/info.inc.mk | 1 +
 makefiles/vars.inc.mk | 1 +
 2 files changed, 2 insertions(+)

diff --git a/makefiles/info.inc.mk b/makefiles/info.inc.mk
index 418c83af91..e87e3c3e64 100644
--- a/makefiles/info.inc.mk
+++ b/makefiles/info.inc.mk
@@ -91,6 +91,7 @@ info-build:
 	@echo 'TERMPROG:  $(TERMPROG)'
 	@echo 'TERMFLAGS: $(TERMFLAGS)'
 	@echo 'PORT:      $(PORT)'
+	@echo 'PROG_DEV:  $(PROG_DEV)'
 	@echo ''
 	@echo 'DEBUGGER:       $(DEBUGGER)'
 	@echo 'DEBUGGER_FLAGS: $(DEBUGGER_FLAGS)'
diff --git a/makefiles/vars.inc.mk b/makefiles/vars.inc.mk
index 263d528e17..06b5b525f0 100644
--- a/makefiles/vars.inc.mk
+++ b/makefiles/vars.inc.mk
@@ -74,6 +74,7 @@ export WERROR                # Treat all compiler warnings as errors if set to 1
 export GITCACHE              # path to git-cache executable
 export GIT_CACHE_DIR         # path to git-cache cache directory
 # FLASHER                    # The command to call on "make flash".
+# PROG_DEV                   # The device to connect the FLASHER and DEBUGGER
 # FFLAGS                     # The parameters to supply to FLASHER.
 export FLASH_ADDR            # Define an offset to flash code into ROM memory.
 # TERMPROG                   # The command to call on "make term".