diff options
| -rwxr-xr-x | tools/build.py | 30 | ||||
| -rwxr-xr-x | tools/build_test.py | 7 |
2 files changed, 25 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)) diff --git a/tools/build_test.py b/tools/build_test.py new file mode 100755 index 000000000..a75024add --- /dev/null +++ b/tools/build_test.py @@ -0,0 +1,7 @@ +#!/usr/bin/env python +import sys +from build import main as build +from test import main as test + +build(sys.argv) +test(sys.argv) |