diff options
| author | Simon John <git@the-jedi.co.uk> | 2018-02-24 16:02:18 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-24 16:02:18 +0000 |
| commit | c10eaa4f480da35437d13fdc21df5d13e2d11866 (patch) | |
| tree | a941ab61efa1c62955604dc579aebecc1a8fb899 | |
| parent | 80b81672062c3729a14a07dbc2c933d823e6c0b8 (diff) | |
| parent | c18ad9fba5e816f3b7380630e5c1862271968a73 (diff) | |
Merge pull request #533 from doronbehar/detect-archlinux
Set `ARDMK_VENDOR` differently if OS is Arch Linux.
| -rw-r--r-- | Arduino.mk | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -326,7 +326,12 @@ endif ######################################################################## # 1.5.x vendor - defaults to arduino ifndef ARDMK_VENDOR - ARDMK_VENDOR = arduino + ARCH_LINUX := $(shell grep "Arch Linux" /etc/os-release 2>/dev/null) + ifdef ARCH_LINUX + ARDMK_VENDOR = archlinux-arduino + else + ARDMK_VENDOR = arduino + endif $(call show_config_variable,ARDMK_VENDOR,[DEFAULT]) else $(call show_config_variable,ARDMK_VENDOR,[USER]) |