diff options
| -rwxr-xr-x | tools/notsd-move | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/notsd-move b/tools/notsd-move index 6e7cebe2d0..a65d29e946 100755 --- a/tools/notsd-move +++ b/tools/notsd-move @@ -749,6 +749,7 @@ move() ( move_files >&2 echo ' => breakup_makefile' "$0" breakup_makefile |& tail -n20 > .tmp.log || { r=$?; cat .tmp.log; exit $r; } + rm .tmp.log >&2 echo ' => ./tools/notsd-fixup' ./tools/notsd-fixup ) |