Vladimir Serbinenko (phcoder@gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/10382
-gerrit
commit ef190ecc03ed453d32b8a8a77dea23d34265be64 Author: Vladimir Serbinenko phcoder@gmail.com Date: Sat May 30 23:13:48 2015 +0200
board_id: Remove extra quotes.
make already quotes the string. Double quoting actually removes the quoting.
Change-Id: I927d90dc2ce8af4e8d2d700d2bb3e04254459e1b Signed-off-by: Vladimir Serbinenko phcoder@gmail.com --- Makefile.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile.inc b/Makefile.inc index 0c688f7..49e1ba3 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -639,7 +639,7 @@ board_id-file := $(obj)/board_id board_id-type := raw
$(obj)/board_id: - printf "$(CONFIG_BOARD_ID_STRING)" > $@ + printf $(CONFIG_BOARD_ID_STRING) > $@
JENKINS_PAYLOAD=none what-jenkins-does: