projects / platform / upstream / ninja.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f749139) | patch
browse: support --port and --no-browser options
authorPeter Wu <peter@lekensteyn.nl>
Fri, 11 Mar 2016 23:24:00 +0000 (00:24 +0100)
committerPeter Wu <peter@lekensteyn.nl>
Fri, 11 Mar 2016 23:24:00 +0000 (00:24 +0100)
commit048ad189e16917b26c370669c9b978d9fd23bae2
tree03718671c2673f15e91b4e7f5aaf708807e7af8etree | snapshot
parentf7491398a2e97c7c76d5a28cfb3b8ce1a0a1a580commit | diff
browse: support --port and --no-browser options

Add --port option to override the default port (8000).
Add --no-browser option to avoid opening a web browser (useful over
SSH).
Make the target name optional, using "all" if omitted.
doc/manual.asciidoc diff | blob | history
src/browse.cc diff | blob | history
src/browse.h diff | blob | history
src/browse.py diff | blob | history
src/ninja.cc diff | blob | history
Domain: System / Base;