diff options
| -rwxr-xr-x | configure.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 7498ae3..20e88bb 100755 --- a/configure.py +++ b/configure.py @@ -58,6 +58,9 @@ n.comment('This file is used to build ninja itself.') n.comment('It is generated by ' + os.path.basename(__file__) + '.') n.newline() +n.comment('The arguments passed to configure.py, for rerunning it.') +n.variable('configure_args', ' '.join(sys.argv[1:])) + def src(filename): return os.path.join('src', filename) def built(filename): @@ -206,7 +209,7 @@ n.newline() n.comment('Regenerate build files if build script changes.') n.rule('configure', - command='./configure.py') + command='./configure.py $configure_args') n.build('build.ninja', 'configure', implicit='configure.py') n.newline() |