diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/generate_dtb/generate_dtb.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/generate_dtb/generate_dtb.sh b/tools/generate_dtb/generate_dtb.sh index efcc67edd..20a08d066 100755 --- a/tools/generate_dtb/generate_dtb.sh +++ b/tools/generate_dtb/generate_dtb.sh @@ -71,6 +71,7 @@ cat "$ORIGINAL_DTS" "$EXTRA_DTS" > "$COMBINED_DTS" INCLUDES="-I spm/cactus -I spm/ivy + -I spm/quark -I spm/include -I include/lib" |