mirror of
https://git.openwrt.org/openwrt/openwrt.git/
synced 2025-10-06 02:22:43 +02:00
2dae098d69
Jobserver support was merged upstream. Switch to local tarball archives. Smaller and more standard. Signed-off-by: Rosen Penev <rosenp@gmail.com> Link: https://github.com/openwrt/openwrt/pull/20267 Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
25 lines
957 B
Diff
25 lines
957 B
Diff
--- a/configure.py
|
|
+++ b/configure.py
|
|
@@ -208,6 +208,8 @@ parser = OptionParser()
|
|
profilers = ['gmon', 'pprof']
|
|
parser.add_option('--bootstrap', action='store_true',
|
|
help='bootstrap a ninja binary from nothing')
|
|
+parser.add_option('--no-rebuild', action='store_true',
|
|
+ help='let user execute ninja after build.ninja generation')
|
|
parser.add_option('--verbose', action='store_true',
|
|
help='enable verbose build')
|
|
parser.add_option('--platform',
|
|
@@ -783,7 +785,11 @@ n.build('all', 'phony', all_targets)
|
|
n.close() # type: ignore # Item "Bootstrap" of "Writer | Bootstrap" has no attribute "close"
|
|
print('wrote %s.' % BUILD_FILENAME)
|
|
|
|
-if options.bootstrap:
|
|
+if options.bootstrap and options.no_rebuild:
|
|
+ print('bootstrap complete. execute ninja in this directory...')
|
|
+ print(os.getcwd())
|
|
+
|
|
+elif options.bootstrap:
|
|
print('bootstrap complete. rebuilding...')
|
|
|
|
rebuild_args = []
|