diff options
author | Trygve Laugstøl <trygvis@inamo.no> | 2019-05-21 09:55:08 +0200 |
---|---|---|
committer | Trygve Laugstøl <trygvis@inamo.no> | 2019-05-21 09:58:37 +0200 |
commit | fa6949a45c43c08c857369389e57015b5782d604 (patch) | |
tree | b62a9e43ecd4f6492f80b9932cf202c5cb2f1f2f /src/ee/tools/ninja.py | |
parent | 458ec38bb25ca2012222297a9890d136afcb448a (diff) | |
download | ee-python-fa6949a45c43c08c857369389e57015b5782d604.tar.gz ee-python-fa6949a45c43c08c857369389e57015b5782d604.tar.bz2 ee-python-fa6949a45c43c08c857369389e57015b5782d604.tar.xz ee-python-fa6949a45c43c08c857369389e57015b5782d604.zip |
ninja: Making a phony goal 'ee-reports' that depends on all reports.
Making the generated build.ninja mark 'ee-reports' as a default goal.
Diffstat (limited to 'src/ee/tools/ninja.py')
-rw-r--r-- | src/ee/tools/ninja.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/ee/tools/ninja.py b/src/ee/tools/ninja.py index ffc80c9..9e919fb 100644 --- a/src/ee/tools/ninja.py +++ b/src/ee/tools/ninja.py @@ -101,7 +101,11 @@ def generate(project: Project): "# here, but keep the include line as we'll update ee.ninja for you when your\n", "# configuration changes\n", "\n", - "include ee.ninja\n"]) + "include ee.ninja\n", + "\n", + "# This will build all reports by default\n", + "default ee-reports\n", + ]) with ee_ninja.open("w") as f: env = _create_env() |