commit | 3532b596ce551cb1f27bfed946296346daa64ef5 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Feb 15 10:04:46 2010 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Feb 15 10:04:46 2010 +0000 |
tree | dc9797e83ef4ca4a18a673dee2ce5b26e1b8ce0f | |
parent | e4c3cff2fef4b69cc774a0cc6796481745624364 [diff] |
Make this usable on Ubuntu by explicitly specifying bash rather than dash. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11044 a5019735-40e9-0310-863c-91ae7b9d1cf9