diff options
| author | Simon John <git@the-jedi.co.uk> | 2014-06-15 17:56:52 +0200 |
|---|---|---|
| committer | Simon John <git@the-jedi.co.uk> | 2014-06-15 17:56:52 +0200 |
| commit | 583a9e49502c6b2190a19e85ae33b2039782b2de (patch) | |
| tree | eec743eeb06ab84f2918c549e67db1f00f89c18b /Arduino.mk | |
| parent | 05a0c7d37722183390f6c2f8699a569589049006 (diff) | |
Fixed $MONITOR_PORT detection, thanks choffmann
Diffstat (limited to 'Arduino.mk')
| -rw-r--r-- | Arduino.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -879,7 +879,7 @@ ifeq ($(CURRENT_OS), WINDOWS) DEVICE_PATH = /dev/ttyS$(shell awk 'BEGIN{ print $(COM_PORT_ID) - 1 }') endif -ifdef ARDUINO_PORT +ifdef MONITOR_PORT DEVICE_PATH = $(MONITOR_PORT) else # If no port is specified, try to guess it from wildcards. |
