mirror of
https://github.com/encounter/engine.git
synced 2026-03-30 11:09:55 -07:00
Zachary Anderson
46 lines
1.2 KiB
Python
Executable File
46 lines
1.2 KiB
Python
Executable File
#!/usr/bin/env python
|
|
# 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 subprocess
|
|
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 e:
|
|
# Ignore only "not found" errors.
|
|
if e.errno != errno.ENOENT:
|
|
raise e
|
|
|
|
# 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())
|