From ce49275606e30380e7ebf4a03d1315bcf95313eb Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@vyos.io>
Date: Tue, 29 Jun 2021 08:38:18 +0000
Subject: Set the default shell to bash so that we can use -o pipefail

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 77778be0..59f5fb34 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+SHELL := /bin/bash
+
 build_dir := build
 
 .PHONY: all
-- 
cgit v1.2.3