mirror of
https://github.com/openwrt/openwrt.git
synced 2024-12-26 00:41:17 +00:00
25 lines
873 B
Diff
25 lines
873 B
Diff
|
--- a/configure.py
|
||
|
+++ b/configure.py
|
||
|
@@ -201,6 +201,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',
|
||
|
@@ -693,7 +695,11 @@ n.build('all', 'phony', all_targets)
|
||
|
n.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 = []
|