summaryrefslogtreecommitdiff
path: root/Makefile.inc
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.inc')
-rw-r--r--Makefile.inc2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.inc b/Makefile.inc
index d5ef301ade..3e28709e45 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: