Problem running make_dtb.sh

[Michael Tuexen]

Dear all,

when trying to build the kernel on a Wandboard the traditional way as described in
https://www.freebsd.org/doc/en/books/developers-handbook/kernelbuild.html#kernelbuild-traditional
a make results in
...
sh ../../../tools/fdt/make_dtb.sh ../../.. wandboard-quad.dts /usr/home/tuexen/sys/arm/compile/WANDBOARD-QUAD
converting wandboard-quad.dts -> /usr/home/tuexen/sys/arm/compile/WANDBOARD-QUAD/wandboard-quad.dtb
<built-in>:159:10: fatal error: 'wandboard-quad.dts' file not found
#include "wandboard-quad.dts"
         ^
1 error generated.
Error: <stdin>:1.1-2.1 syntax error
FATAL ERROR: Unable to parse input tree
*** Error code 1

Stop.

The reason is that make_dtb.sh uses $MACHINE which is not set. If I set it to arm, the make completes
successfully. How is this fixed in the best way?

Best regards
Michael