[Bug]: make_filter is referenced but not assigned. #8529
Description
What happened?
Github Actions shellcheck caught an error in lib/functions/compilation/kernel-make.sh line 75:
make_filter is referenced but not assigned
c.f.:
https://github.com/armbian/build/actions/runs/17020604409/job/48573794738?pr=8306
https://github.com/armbian/build/actions/runs/17153392644/job/48664568702?pr=8533
How to reproduce?
.
Branch
main (main development branch)
On which host OS are you running the build script and observing this problem?
Ubuntu 24.04 Noble
Are you building on Windows WSL2?
- Yes, my Ubuntu/Debian/OtherOS is running on WSL2
Relevant log URL
No response
Code of Conduct
- I agree to follow this project's Code of Conduct