Merge pull request #455 from vbatts/makefile_set_shell

Makefile: prefer bash
2016-05-25 10:54:27 -07:00 · 2016-05-25 10:54:27 -07:00 · e97a303ae0
parent 23bf8e9519 f3fdf03a59
commit e97a303ae0
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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))" ''