summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xboot7
1 files changed, 5 insertions, 2 deletions
diff --git a/boot b/boot
index b6ecc09f28..05706af958 100755
--- a/boot
+++ b/boot
@@ -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()