This is an automated email from the git hooks/post-receive script.

bernie.ogden pushed a commit to branch bernie/benchmarking in repository toolchain/abe.

commit ade0d3facd3bda88e8bd4ef52804a59b38927174 Author: Bernard Ogden bernie.ogden@linaro.org Date: Fri Jul 31 13:32:57 2015 +0200

Fix CLI-overriding of make_flags

Looks like this was just a typo - I guess there aren't any tests?

Change-Id: I31171dcbc4909758336c37cc7f548a7927fb0b4b --- abe.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/abe.sh b/abe.sh index 193534f..a945bd6 100755 --- a/abe.sh +++ b/abe.sh @@ -497,7 +497,7 @@ set_package() ;; makeflags|ma*) # override_makeflags="${setting}" - set make_flags="${make_flags} ${setting}" + make_flags="${make_flags} ${setting}" notice "Overriding ${setting} to MAKEFLAGS" return 0 ;;