diff --git a/tools/hc-gen/build_hcs.py b/tools/hc-gen/build_hcs.py index 721a96c9cf20fb85b9c1f0a36135d69225fdfa7b..4543cb3fd1355d15c0ef73d53211280bf835053e 100755 --- a/tools/hc-gen/build_hcs.py +++ b/tools/hc-gen/build_hcs.py @@ -49,24 +49,22 @@ def exec_command(cmd): def make_hc_gen(current_dir): - exec_command(['make', '-C', current_dir]) + exec_command(['make', '-C', current_dir, '-j8']) -def prepare(hc_gen, current_dir): - if not os.path.exists(hc_gen): - make_hc_gen(current_dir) +def prepare(current_dir): + make_hc_gen(current_dir) def main(argv): current_dir = os.path.split(os.path.realpath(__file__))[0] hc_gen = os.path.join(current_dir, 'build', 'hc-gen') - + build_hcs_cmd = [hc_gen] + argv[1:] - prepare(hc_gen, current_dir) + prepare(current_dir) exec_command(build_hcs_cmd) if __name__ == '__main__': sys.exit(main(sys.argv)) -