New patch to review for coreboot: 83bcd75 board_id: Remove extra quotes.

[Vladimir Serbinenko]

Vladimir Serbinenko ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/10382

-gerrit

commit 83bcd75a0dd29e292315aa411f52892e03b4c5d5
Author: Vladimir Serbinenko 
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 
---
 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: