Skip to content

Commit 173cc45

Browse files
committed
Do not delete file after git-rm
1 parent 164824d commit 173cc45

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

mx.graalpython/mx_graalpython.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2023,7 +2023,6 @@ def remove_inexisting_file(src_file, dest_file):
20232023
if not os.path.exists(dest_file):
20242024
mx.logv("Removing file {} since {} does not exist".format(src_file, dest_file))
20252025
vc.git_command(SUITE.dir, ["rm", src_file])
2026-
os.unlink(src_file, missing_ok=True)
20272026

20282027
def remove_inexisting_files(hpy_dir, our_dir):
20292028
mx.log("Looking for removed files in {} (HPy reference dir {})".format(our_dir, hpy_dir))

0 commit comments

Comments
 (0)