2016-10-17 15:51:11 +00:00
|
|
|
#!/usr/bin/env python
|
|
|
|
#
|
|
|
|
# Copyright 2016 Google Inc.
|
|
|
|
#
|
|
|
|
# Use of this source code is governed by a BSD-style license that can be
|
|
|
|
# found in the LICENSE file.
|
|
|
|
|
|
|
|
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)
|
2020-09-28 18:45:57 +00:00
|
|
|
#work around https://github.com/ninja-build/ninja/issues/1554
|
|
|
|
os.utime(dst, None)
|