diff options
-rwxr-xr-x | scripts/cleanup-workdir | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/cleanup-workdir b/scripts/cleanup-workdir index 8e6bc4388d..25fef976b6 100755 --- a/scripts/cleanup-workdir +++ b/scripts/cleanup-workdir | |||
@@ -141,7 +141,7 @@ will be deleted. Be CAUTIOUS.""") | |||
141 | get_cur_arch_dirs(workdir, cur_arch_dirs) | 141 | get_cur_arch_dirs(workdir, cur_arch_dirs) |
142 | 142 | ||
143 | for workroot, dirs, files in os.walk(workdir): | 143 | for workroot, dirs, files in os.walk(workdir): |
144 | # For the files, they should NOT exist in WORKDIR. Romve them. | 144 | # For the files, they should NOT exist in WORKDIR. Remove them. |
145 | for f in files: | 145 | for f in files: |
146 | obsolete_dirs.append(os.path.join(workroot, f)) | 146 | obsolete_dirs.append(os.path.join(workroot, f)) |
147 | 147 | ||