diff options
| author | Nicolas Despres <nicolas.despres@gmail.com> | 2011-11-19 14:48:30 (GMT) |
|---|---|---|
| committer | Nicolas Despres <nicolas.despres@gmail.com> | 2011-11-19 14:48:30 (GMT) |
| commit | 69fe05f24245d05fcefb6ae67d651e04bc5648fd (patch) | |
| tree | 69927538afb4e4ee421c9321a67f63c17d677a8f /configure.py | |
| parent | f54e73ffb3091c2f56b0ed4736dfb88e8063d5ec (diff) | |
| download | Ninja-69fe05f24245d05fcefb6ae67d651e04bc5648fd.zip Ninja-69fe05f24245d05fcefb6ae67d651e04bc5648fd.tar.gz Ninja-69fe05f24245d05fcefb6ae67d651e04bc5648fd.tar.bz2 | |
Fix duplicated list of profilers.
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 92ad6d9..16db729 100755 --- a/configure.py +++ b/configure.py @@ -35,7 +35,7 @@ parser.add_option('--platform', parser.add_option('--debug', action='store_true', help='enable debugging flags',) parser.add_option('--profile', metavar='TYPE', - choices=['gmon', 'pprof'], + choices=profilers, help='enable profiling (' + '/'.join(profilers) + ')',) parser.add_option('--with-gtest', metavar='PATH', help='use gtest built in directory PATH') |