tree c5639c10bce332e69d584b0089e4e065e94dd89c
parent dd3cf52f6f598f72e2f165cc2a2ea9551d0e3cd4
author Jack Palevich <jackpal@google.com> 1243547582 -0700
committer Jack Palevich <jackpal@google.com> 1243548626 -0700

Use bash instead of sh because of the '[[' command

The '[[' command is not guaranteed to be present in /bin/sh, and in fact
is missing in stock Ubuntu 8.04