From: Denys Vlasenko on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2458#note_1375...
I'm 100% it's not set in %install. I see the following in the log:
+ '[' -f /vmlinux.h ']'
IOW: $DevelDir expanded to nothing.
If we do not remove that code, maybe it makes sense to code more defensively?
A-la
[ "$DevelDir" ] || { echo "DevelDir not set"; exit 1; }
[ -d "$DevelDir" ] || { echo "Not a directory: '%DevelDir'";
exit 1; }
if [ -f "$DevelDir/vmlinux.h" ] ...