From c18ad9fba5e816f3b7380630e5c1862271968a73 Mon Sep 17 00:00:00 2001
From: Doron Behar <doron.behar@gmail.com>
Date: Fri, 6 Oct 2017 11:35:47 +0300
Subject: [PATCH] Set `ARDMK_VENDOR` differently if OS is Arch Linux.

---
 Arduino.mk | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Arduino.mk b/Arduino.mk
index 1d7299f..1375ba3 100644
--- a/Arduino.mk
+++ b/Arduino.mk
@@ -328,7 +328,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])