From 3e7495d863131d237224701f67f3893d6c3f841f Mon Sep 17 00:00:00 2001
From: "Junyoung, Sung" <junyoung.sung@navercorp.com>
Date: Mon, 15 Jun 2020 21:10:45 +0900
Subject: [PATCH] install_deps.sh: Add debian based elementary os

Signed-off-by: Junyoung, Sung <junyoung.sung@navercorp.com>
---
 install-deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install-deps.sh b/install-deps.sh
index fb377af756188..9b9f4d5cdc637 100755
--- a/install-deps.sh
+++ b/install-deps.sh
@@ -284,7 +284,7 @@ else
     [ $WITH_SEASTAR ] && with_seastar=true || with_seastar=false
     source /etc/os-release
     case "$ID" in
-    debian|ubuntu|devuan)
+    debian|ubuntu|devuan|elementary)
         echo "Using apt-get to install dependencies"
         $SUDO apt-get install -y devscripts equivs
         $SUDO apt-get install -y dpkg-dev
-- 
2.47.3