tree e55c38b62e32fef3f5a8da9ac58932d739cf9fad
parent de9e64e561d2d1550978e5e0dfef4e6867c1322e
parent e627a6145b678c273ed63de90097cd1b79708d2c
author Andrew Hsieh <andrewhsieh@google.com> 1363966436 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1363966437 +0000

Merge "Warn if shell isn't bash"