From 74c5abdcde0c29e242ca9380b6dedea011b5b7e7 Mon Sep 17 00:00:00 2001 From: yuanbo Date: Tue, 8 Jun 2021 08:15:38 +0800 Subject: [PATCH] try to make hc-gen everytime Signed-off-by: yuanbo --- tools/hc-gen/build_hcs.py | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/tools/hc-gen/build_hcs.py b/tools/hc-gen/build_hcs.py index 721a96c9c..4543cb3fd 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)) - -- Gitee