From 2594f7a8dc6c04446198027401ae319a388cbba4 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Tue, 14 Jan 2020 19:14:12 +0300
Subject: [PATCH] Added SHELL in stdlib/Makefile

---
 Makefile        | 2 +-
 stdlib/Makefile | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 92a19ebc8..205c785a2 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ all:
 	pushd runtime && make && popd
 	pushd stdlib && make && popd
 
-install: ;
+#install: ;
 
 regression:
 	pushd regression && make clean check && popd
diff --git a/stdlib/Makefile b/stdlib/Makefile
index be613ffdf..be90deb9d 100644
--- a/stdlib/Makefile
+++ b/stdlib/Makefile
@@ -1,3 +1,5 @@
+SHELL := /bin/bash
+
 FILES=$(wildcard *.expr)
 ALL=$(sort $(FILES:.expr=.o))
 RC=../src/rc.opt