commit | c73dabc0d79af0a89abcf30ffc68ef9e15fa8628 | [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 14:53:02 2009 -0700 |
tree | 78cb938f88ee644c80baf198d4bb87fd367c4272 | |
parent | 571502966336741fff4b48a0d9ed059dea0a53c5 [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