diff options
-rw-r--r-- | scripts/lib/ptxd_make_world_lint.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_world_lint.sh b/scripts/lib/ptxd_make_world_lint.sh index 725d2fad6..0f0186b42 100644 --- a/scripts/lib/ptxd_make_world_lint.sh +++ b/scripts/lib/ptxd_make_world_lint.sh @@ -112,6 +112,7 @@ ptxd_make_world_lint_dep_whitelist+="GCCLIBS " ptxd_make_world_lint_dep_whitelist+="ROOTFS " # toplevel symbol is defined in a different file ptxd_make_world_lint_dep_whitelist+="INITMETHOD_SYSTEMD " +ptxd_make_world_lint_dep_whitelist+="INITMETHOD_BBINIT " export ptxd_make_world_lint_dep_whitelist ptxd_make_world_lint_symbols() { |