7bc4c9a8d1
This was enabled by moving the iPhones off of the old RPI2 hosts. This reverts commit04cd6fba97
. This reverts commita726978ae7
. Bug: chromium:1256037 Change-Id: I35069089aa39baf62a18235c8d0514923f327c53 Reviewed-on: https://skia-review.googlesource.com/c/skia/+/477987 Reviewed-by: Ravi Mistry <rmistry@google.com> Commit-Queue: Eric Boren <borenet@google.com>
62 lines
2.2 KiB
Python
Executable File
62 lines
2.2 KiB
Python
Executable File
#! /usr/bin/env python
|
|
# Copyright 2019 Google LLC.
|
|
# 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 subprocess
|
|
import sys
|
|
|
|
def copy_git_directory(src, dst, out=None):
|
|
'''
|
|
Makes a copy of `src` directory in `dst` directory. If files already exist
|
|
and are identical, do not touch them. If extra files or directories exist,
|
|
remove them. Assume that `src` is a git directory so that `git ls-files` can
|
|
be used to enumerate files. This has the added benefit of ignoring files
|
|
not tracked by git. Also, if out is not None, write summary of actions to out.
|
|
If `dst` is a top-level git directory, the `.git` directory will be removed.
|
|
'''
|
|
if not os.path.isdir(src):
|
|
raise Exception('Directory "%s" does not exist.' % src)
|
|
if not os.path.isdir(dst):
|
|
os.makedirs(dst)
|
|
ls_files = subprocess.check_output([
|
|
'git', 'ls-files', '-z', '.'], cwd=src).decode('utf-8')
|
|
src_files = set(p for p in ls_files.split('\0') if p)
|
|
abs_src = os.path.abspath(src)
|
|
cwd = os.getcwd()
|
|
try:
|
|
os.chdir(dst)
|
|
def output(out, sym, dst, path):
|
|
if out:
|
|
out.write('%s %s%s%s\n' % (sym, dst, os.sep, path))
|
|
for dirpath, dirnames, filenames in os.walk('.', topdown=False):
|
|
for filename in filenames:
|
|
path = os.path.normpath(os.path.join(dirpath, filename))
|
|
if path not in src_files:
|
|
output(out, '-', dst, path)
|
|
os.remove(path)
|
|
for filename in dirnames:
|
|
path = os.path.normpath(os.path.join(dirpath, filename))
|
|
if not os.listdir(path): # Remove empty subfolders.
|
|
output(out, '-', dst, path + os.sep)
|
|
os.rmdir(path)
|
|
for path in src_files:
|
|
src_path = os.path.join(abs_src, path)
|
|
if os.path.exists(path):
|
|
with open(path) as f1:
|
|
with open(src_path) as f2:
|
|
if f1.read() == f2.read():
|
|
continue
|
|
output(out, '+', dst, path)
|
|
shutil.copy2(src_path, path)
|
|
finally:
|
|
os.chdir(cwd)
|
|
|
|
if __name__ == '__main__':
|
|
if len(sys.argv) != 3:
|
|
sys.stderr.write('\nUsage:\n %s SRC_DIR DST_DIR\n\n' % sys.argv[0])
|
|
sys.exit(1)
|
|
copy_git_directory(sys.argv[1], sys.argv[2], sys.stdout)
|