| Index: tools/ninja.py
|
| diff --git a/tools/ninja.py b/tools/ninja.py
|
| index e334564e41f73a0735bb1bc9f71791f49c56b3fd..a1588914fd7f14be0286a86447c82b666457c952 100755
|
| --- a/tools/ninja.py
|
| +++ b/tools/ninja.py
|
| @@ -20,12 +20,8 @@ DART_ROOT = os.path.realpath(os.path.join(SCRIPT_DIR, '..'))
|
| usage = """\
|
| usage: %%prog [options] [targets]
|
|
|
| -This script runs 'make' in the *current* directory. So, run it from
|
| -the Dart repo root,
|
| -
|
| - %s ,
|
| -
|
| -unless you really intend to use a non-default Makefile.""" % DART_ROOT
|
| +This script invokes ninja to build Dart.
|
| +"""
|
|
|
|
|
| def BuildOptions():
|
|
|