| commit | 055fcd23fb79638dc7d738f2951594b87256564a | [log] [tgz] |
|---|---|---|
| author | Jack Palevich <jackpal@google.com> | Thu May 28 14:53:02 2009 -0700 |
| committer | Jack Palevich <jackpal@google.com> | Thu May 28 15:10:26 2009 -0700 |
| tree | c5639c10bce332e69d584b0089e4e065e94dd89c | |
| parent | dd3cf52f6f598f72e2f165cc2a2ea9551d0e3cd4 [diff] |
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