diff options
Diffstat (limited to 'make')
-rwxr-xr-x | make | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -62,11 +62,15 @@ gen_depfile() { printf '%s %s %s %s\n' "$type" "$target" "$source" "$args" # accumulate the dependencies in a list to avoid make bugs. # there will be no duplicates since the list was previously sorted - if [ "$type" = file ]; then - deps="$deps $source" - # avoid "No rule to make target" when deps disappear - echo "$source:" >&3 + if [ "$type" != file ]; then + continue fi + case "$source" in + /dev/*) continue + esac + deps="$deps $source" + # avoid "No rule to make target" when deps disappear + echo "$source:" >&3 done echo "initramfs.img: $deps" >&3 } |