| #!/usr/bin/env python3 |
| # |
| # Copyright 2013 The Flutter Authors. All rights reserved. |
| # Use of this source code is governed by a BSD-style license that can be |
| # found in the LICENSE file. |
| |
| import argparse |
| import errno |
| import os |
| import shutil |
| import sys |
| |
| |
| def main(): |
| parser = argparse.ArgumentParser( |
| description='Removes existing files and installs the specified headers' + |
| 'at the given location.' |
| ) |
| |
| parser.add_argument( |
| '--headers', |
| nargs='+', |
| help='The headers to install at the location.', |
| required=True |
| ) |
| parser.add_argument('--location', type=str, required=True) |
| |
| args = parser.parse_args() |
| |
| # Remove old headers. |
| try: |
| shutil.rmtree(os.path.normpath(args.location)) |
| except OSError as err: |
| # Ignore only "not found" errors. |
| if err.errno != errno.ENOENT: |
| raise err |
| |
| # Create the directory to copy the files to. |
| if not os.path.isdir(args.location): |
| os.makedirs(args.location) |
| |
| # Copy all files specified in the args. |
| for header_file in args.headers: |
| shutil.copyfile( |
| header_file, os.path.join(args.location, os.path.basename(header_file)) |
| ) |
| |
| |
| if __name__ == '__main__': |
| sys.exit(main()) |