github.com/mikpe.pdp10-tools
1
0
Fork 0
mirror of https://github.com/mikpe/pdp10-tools.git synced 2026-02-26 08:53:41 +00:00
Code Issues Projects Releases Wiki Activity

erlang/Makefile: type -p usage requires bash

Browse Source
This commit is contained in:
Mikael Pettersson
2019-02-02 17:09:55 +01:00
parent fbd15cc2ba
commit 1f37143922
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
erlang/Makefile
View File

@@ -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