diff options
| -rwxr-xr-x | boot | 7 | 
1 files changed, 5 insertions, 2 deletions
| @@ -14,6 +14,7 @@ cwd = os.getcwd()  parser = argparse.ArgumentParser()  parser.add_argument('--validate', action='store_true', help='Run in validate mode')  parser.add_argument('--required-tag', type=str, action='append', default=set()) +parser.add_argument('--hadrian', action='store_true', help='Do not assume the make base build system')  args = parser.parse_args()  def print_err(s): @@ -180,6 +181,8 @@ def check_build_mk():              """))  check_for_url_rewrites() -boot_pkgs() +if not args.hadrian: +    boot_pkgs()  autoreconf() -check_build_mk() +if not args.hadrian: +    check_build_mk() | 
