tree 4ba1133ecc5f4876029cae934110e5ea76176c98
parent d7166d07ade008390ac5d526ecc25e1ebd140ab1
author David Benjamin <davidben@google.com> 1457112651 -0500
committer Adam Langley <agl@google.com> 1457118763 +0000

Add an option to pick a different build directory in minimise_corpuses.sh.

Also pass set -e instead of chaining things with &&. (One line was missing the
&&.)

Change-Id: Ia04e7f40f46688c9664101efefef1d1ea069de71
Reviewed-on: https://boringssl-review.googlesource.com/7300
Reviewed-by: Adam Langley <agl@google.com>