diff options
| author | Evan Martin <martine@danga.com> | 2011-09-06 21:04:31 (GMT) |
|---|---|---|
| committer | Evan Martin <martine@danga.com> | 2011-09-06 21:04:31 (GMT) |
| commit | b41da2119ab751982d470a012889b0d22b567b4d (patch) | |
| tree | 6ebb83bba7bf22021ea7179ed20196d54d078cc4 /configure.py | |
| parent | 2e8d3c48c4a53b8f567b1a4c3b6aae85f11b5e2e (diff) | |
| download | Ninja-b41da2119ab751982d470a012889b0d22b567b4d.zip Ninja-b41da2119ab751982d470a012889b0d22b567b4d.tar.gz Ninja-b41da2119ab751982d470a012889b0d22b567b4d.tar.bz2 | |
preserve configure.py params across re-runs
Diffstat (limited to 'configure.py')
| -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() |