From 1f37143922fa8cd9e51a0f4d9462ad40c40a2e8c Mon Sep 17 00:00:00 2001
From: Mikael Pettersson <mikpelinux@gmail.com>
Date: Sat, 2 Feb 2019 17:09:55 +0100
Subject: [PATCH] erlang/Makefile: type -p usage requires bash

---
 erlang/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/erlang/Makefile b/erlang/Makefile
index ca8ed46..bde3240 100644
--- a/erlang/Makefile
+++ b/erlang/Makefile
@@ -1,5 +1,5 @@
 # Makefile for pdp10-tools/erlang
-# Copyright (C) 2018  Mikael Pettersson
+# Copyright (C) 2018-2019  Mikael Pettersson
 #
 # This file is part of pdp10-tools.
 #
@@ -16,6 +16,7 @@
 # You should have received a copy of the GNU General Public License
 # along with pdp10-tools.  If not, see <http://www.gnu.org/licenses/>.
 
+SHELL=/bin/bash
 REBAR3=$(shell type -p rebar3 || echo ./rebar3)
 REBAR3_GIT=https://github.com/erlang/rebar3.git
 REBAR3_VSN=3.7.5