diff options
| author | Simon John <git@the-jedi.co.uk> | 2013-06-13 12:30:09 +0200 |
|---|---|---|
| committer | Sudar <sudar@sudarmuthu.com> | 2013-06-13 17:02:15 +0530 |
| commit | d8c357f6d6f5c15f887c8c3b5400790c71abf702 (patch) | |
| tree | fda1d4683979a7625693fb30e2e27b9ebea0c08d /arduino-mk/Arduino.mk | |
| parent | c81cc332f5872461686baa8f5d76a62cdb2f6c30 (diff) | |
Change the way AUTO_ARDUINO_VERSION is computed
adds another pass to sed to remove the '1:' from debian version numbers
Diffstat (limited to 'arduino-mk/Arduino.mk')
| -rw-r--r-- | arduino-mk/Arduino.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arduino-mk/Arduino.mk b/arduino-mk/Arduino.mk index e737abf..efa3bd6 100644 --- a/arduino-mk/Arduino.mk +++ b/arduino-mk/Arduino.mk @@ -257,7 +257,7 @@ ifndef ARDUINO_VERSION # Remove all the decimals, and right-pad with zeros, and finally grab the first 3 bytes. # Works for 1.0 and 1.0.1 VERSION_FILE := $(ARDUINO_DIR)/lib/version.txt - AUTO_ARDUINO_VERSION := $(shell [ -e $(VERSION_FILE) ] && cat $(VERSION_FILE) | sed -e 's/[.]//g' -e 's/$$/0000/' | head -c3) + AUTO_ARDUINO_VERSION := $(shell [ -e $(VERSION_FILE) ] && cat $(VERSION_FILE) | sed -e 's/^[0-9]://g' -e 's/[.]//g' -e 's/$$/0000/' | head -c3) ifdef AUTO_ARDUINO_VERSION ARDUINO_VERSION = $(AUTO_ARDUINO_VERSION) $(call show_config_variable,ARDUINO_VERSION,[AUTODETECTED]) |