diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/notsd-move | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/notsd-move b/tools/notsd-move index 85e3fcb3cd..0e8cc0dd87 100755 --- a/tools/notsd-move +++ b/tools/notsd-move @@ -683,7 +683,7 @@ breakup_makefile() ( [[ "$(wc -l <<<"$d")" = 1 ]] file="$d/Makefile" fi - if ! in_array "$file" "${files[@]}"; then + if [[ "$file" != all ]] && ! in_array "$file" "${files[@]}"; then cat .tmp.move.all > "$file" files+=("$file") fi |