From 01eb1327ae2bb74695befae1d3f0fff6e3b9b71f Mon Sep 17 00:00:00 2001 From: Gregory Meno Date: Wed, 31 Aug 2016 21:29:30 +0000 Subject: [PATCH] install-deps: exit non-zero when we cannot match distro Signed-off-by: Gregory Meno --- install-deps.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/install-deps.sh b/install-deps.sh index 96bd419a822..b1e1636c048 100755 --- a/install-deps.sh +++ b/install-deps.sh @@ -119,6 +119,7 @@ else ;; *) echo "$ID is unknown, dependencies will have to be installed manually." + exit 1 ;; esac fi -- 2.39.5