commit | 7bca3231a6348650b9bbaad2e481a0dc46153491 | [log] [tgz] |
---|---|---|
author | June Tate-Gans <jtgans@google.com> | Fri Jun 01 01:41:26 2018 +0000 |
committer | June Tate-Gans <jtgans@google.com> | Fri Jun 01 03:04:48 2018 +0000 |
tree | bea7e2ba46b985c0abc0c5459b99ad50cc496eee | |
parent | afe283bfecd2b72ddcb63750de1b949965dea327 [diff] |
base: Make SHELL point to bash On some weirdly strict environments, SHELL in make is set to /bin/sh instead of bash. This breaks soe of the clean conventions we use. Change-Id: I0bc4264397060789c60eab47f30aa91e9c8b6dbd
diff --git a/Makefile b/Makefile index e361afe..f51a692 100644 --- a/Makefile +++ b/Makefile
@@ -1,3 +1,5 @@ +SHELL := $(shell which /bin/bash) + ifeq ($(ROOTDIR),) $(error $$ROOTDIR IS NOT DEFINED -- don\'t forget to source setup.sh) endif