diff options
author | fergus.henderson <fergushenderson@users.noreply.github.com> | 2008-05-07 18:21:28 +0000 |
---|---|---|
committer | fergus.henderson <fergushenderson@users.noreply.github.com> | 2008-05-07 18:21:28 +0000 |
commit | 51faeb06ad1850008d78b8f7952c5d20d0fda408 (patch) | |
tree | 404acbea73c97e5152cde9dcc0ff066de78541b8 /include_server | |
parent | c3471af46ce939323c6e41f0d8f1e9a9d2e71427 (diff) | |
download | distcc-git-51faeb06ad1850008d78b8f7952c5d20d0fda408.tar.gz |
Insert "Usage: " at the start of the usage message for the include server.
Diffstat (limited to 'include_server')
-rwxr-xr-x | include_server/include_server.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include_server/include_server.py b/include_server/include_server.py index a0a9c21..fc134bc 100755 --- a/include_server/include_server.py +++ b/include_server/include_server.py @@ -58,7 +58,9 @@ NotCoveredTimeOutError = basics.NotCoveredTimeOutError # USAGE def Usage(): - print """include_server --port INCLUDE_SERVER_PORT [options] + print """Usage: + +include_server --port INCLUDE_SERVER_PORT [options] where INCLUDE_SERVER_PORT is a socket name. Fork the include server for incremental include analysis. The include server answers queries |