tree 729759f47cd2226602f3bbddb29c11ede9dc64f7
parent 6fbccb00602cd0bc3538ef4e3c37b8de5d79a0b0
author Andrew Hsieh <andrewhsieh@google.com> 1363919681 -0700
committer Andrew Hsieh <andrewhsieh@google.com> 1363963750 -0700

Warn if shell isn't bash

We try to avoid bashism in build scripts but the claim
isn't rigorously validated on regular basis.  Warn
the possiblity that setting shell to bash (eg. from
dash in Ubuntu) might solve weird build problems.

Change-Id: I67790b3a632dd12c5e5ccd78d1ffe572679dd609