kaliber/build/toolchain/copy.py

22 lines
342 B
Python

#!/usr/bin/env python
import os
import shutil
import sys
src, dst = sys.argv[1:]
if os.path.exists(dst):
if os.path.isdir(dst):
shutil.rmtree(dst)
else:
os.remove(dst)
if os.path.isdir(src):
shutil.copytree(src, dst)
else:
shutil.copy2(src, dst)
# https://github.com/ninja-build/ninja/issues/1554
os.utime(dst, None)