tree bea7e2ba46b985c0abc0c5459b99ad50cc496eee
parent afe283bfecd2b72ddcb63750de1b949965dea327
author June Tate-Gans <jtgans@google.com> 1527817286 +0000
committer June Tate-Gans <jtgans@google.com> 1527822288 +0000

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