mirror of
https://github.com/torvalds/linux.git
synced 2025-12-07 20:06:24 +00:00
make failed to supply the filename when using make -rR and using $(*F) to get target filename without extension. This bug was not reproduceable in small scale but using: $(basename $(notdir $@)) fixes it with same functionality. Signed-off-by: Sam Ravnborg <sam@ravnborg.org>
5.2 KiB
5.2 KiB