Google Git
Sign in
gerrit / buck / 08b6a7d71ac6b6f73f004abbfd3472d17396feab
commit08b6a7d71ac6b6f73f004abbfd3472d17396feab[log] [tgz]
authorCarbo Kuo <carbokuo@fb.com>Wed Sep 18 08:14:47 2013 -0700
committerMichael Bolin <mbolin@fb.com>Thu Sep 19 15:25:03 2013 -0700
tree5e0433b589b08e88d79981ce7572704db13d6ea0
parent945bbb2fdb5b62f80f06d4914b559f389d045357 [diff]
Allow HTTP server port of buckd to be specifed with command line parameter.

Summary:
Enable users to specify buckd HTTP server port with command line parameter
`-Dbuck.httpserver.port=PORTNUM`. This is convinent for other processes
to call buckd and specify port directly.

Test Plan:
Run `BUCK_EXTRA_JAVA_ARGS="-Dbuck.httpserver.port=1234" buckd` and `buck -V`.
The server will listen at 1234.
1 file changed
tree: 5e0433b589b08e88d79981ce7572704db13d6ea0
  1. .idea/
  2. bin/
  3. config/
  4. docs/
  5. lib/
  6. pmd/
  7. scripts/
  8. src/
  9. test/
  10. testdata/
  11. third-party/
  12. .buckconfig
  13. .classpath
  14. .gitignore
  15. .project
  16. buck.iml
  17. build.xml
  18. DEFS
  19. LICENSE
  20. README.md
README.md

Buck

Buck is an Android build tool. To see what Buck can do for you, check out the documentation at http://facebook.github.io/buck/.

Installation

To build Buck, run the following:

git clone git@github.com:facebook/buck.git
cd buck
ant
./bin/buck --help

License

Apache License 2.0