5df6c5ecce
* build: more space on arm64 builds, running out of ideas here * build: well this is kinda nuts but off we go * chore: rollback thingy * chore: build snapshot for realz * chore: do not delete hunspell * build: use the new magic extra-disk-space circle image * build: remove existing file, it is not a tree
8 lines
132 B
Python
8 lines
132 B
Python
import os
|
|
import shutil
|
|
import sys
|
|
|
|
if os.path.exists(sys.argv[2]):
|
|
os.remove(sys.argv[2])
|
|
|
|
shutil.copy(sys.argv[1], sys.argv[2])
|