Merge pull request opencontainers#455 from vbatts/makefile_set_shell

Makefile: prefer bash
stefanberger · May 25, 2016 · e97a303 · e97a303
2 parents 23bf8e9 + f3fdf03
commit e97a303
Showing 1 changed file with 1 addition and 0 deletions.
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))" ''