Merge pull request #455 from vbatts/makefile_set_shell

Mrunal Patel · Mrunal Patel · commit e97a303ae081 · 2016-05-25T10:54:27.000-07:00
Makefile: prefer bash
diff --git a/Makefile b/Makefile
@@ -1,4 +1,5 @@
 
+SHELL  ?= $(shell command -v bash 2>/dev/null)
 DOCKER ?= $(shell command -v docker 2>/dev/null)
 PANDOC ?= $(shell command -v pandoc 2>/dev/null)
 ifeq "$(strip $(PANDOC))" ''

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`
	`2`	`+SHELL ?= $(shell command -v bash 2>/dev/null)`
`2`	`3`	`DOCKER ?= $(shell command -v docker 2>/dev/null)`
`3`	`4`	`PANDOC ?= $(shell command -v pandoc 2>/dev/null)`
`4`	`5`	`ifeq "$(strip $(PANDOC))" ''`