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 23f8beeaa71b130354c0f81a032534193ab70a5e 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 ;;