Use bash shell for makefile

sanketj · web-flow · commit 43af27abffe0 · 2019-08-02T14:26:22.000-07:00
diff --git a/server/JsDbg.Gdb/Makefile b/server/JsDbg.Gdb/Makefile
@@ -1,6 +1,7 @@
 PREFIX=/usr/local
 DOTNET=dotnet
 
+SHELL := /bin/bash
 PUBLISH := $(shell pwd)/out
 PUBLISH_SC_REL := out_sa
 PUBLISH_SC := $(shell pwd)/$(PUBLISH_SC_REL)
