diff options
Diffstat (limited to 'tools/build.py')
| -rwxr-xr-x | tools/build.py | 30 |
1 files changed, 18 insertions, 12 deletions
diff --git a/tools/build.py b/tools/build.py index bbcd24762..e9ab9eaac 100755 --- a/tools/build.py +++ b/tools/build.py @@ -6,18 +6,24 @@ import sys import third_party from util import build_path, enable_ansi_colors, run -enable_ansi_colors() -third_party.fix_symlinks() +def main(argv): + enable_ansi_colors() -ninja_args = sys.argv[1:] -if not "-C" in ninja_args: - if not os.path.isdir(build_path()): - print("Build directory '%s' does not exist." % build_path(), - "Run tools/setup.py") - sys.exit(1) - ninja_args = ["-C", build_path()] + ninja_args + third_party.fix_symlinks() -run([third_party.ninja_path] + ninja_args, - env=third_party.google_env(), - quiet=True) + ninja_args = argv[1:] + if not "-C" in ninja_args: + if not os.path.isdir(build_path()): + print("Build directory '%s' does not exist." % build_path(), + "Run tools/setup.py") + sys.exit(1) + ninja_args = ["-C", build_path()] + ninja_args + + run([third_party.ninja_path] + ninja_args, + env=third_party.google_env(), + quiet=True) + + +if __name__ == '__main__': + sys.exit(main(sys.argv)) |