Google Git
Sign in
vanadium / release.go.x.devtools / 83298f269f188e7dc57afa1eee3d3373b6ff8b54
commit83298f269f188e7dc57afa1eee3d3373b6ff8b54[log] [tgz]
authorAsim Shankar <ashankar@google.com>Thu Mar 03 16:57:20 2016 -0500
committerAsim Shankar <ashankar@google.com>Thu Mar 03 16:57:20 2016 -0500
tree2aaf651c97877afe696e1aec945890965fd79654
parent4e12ac3e1d9d8970377d58c52dced5354ec07f60 [diff]
jiri-profile-v23/syncbase: Fix cross-compilation for linux/arm

Prior to this commit, crosstools was incorrectly not being used
when building libsnappy and leveldb for linux/arm from a different host.

Change-Id: I9ae36be218d20e457d79f4544e0ca9fa68143efa
1 file changed
tree: 2aaf651c97877afe696e1aec945890965fd79654
  1. bendroid/
  2. dashboard/
  3. data/
  4. godepcop/
  5. gologcop/
  6. internal/
  7. jiri-api/
  8. jiri-copyright/
  9. jiri-dockergo/
  10. jiri-go/
  11. jiri-goext/
  12. jiri-oncall/
  13. jiri-profile-v23/
  14. jiri-run/
  15. jiri-swift/
  16. jiri-test/
  17. jiri-v23-profile/
  18. jiridoc/
  19. madb/
  20. mailer/
  21. oncall/
  22. postsubmit/
  23. presubmit/
  24. vbinary/
  25. vcloud/
  26. vjenkins/
  27. vkiosk/
  28. vmon/
  29. .gitignore
  30. .godepcop
  31. .jiriignore
  32. AUTHORS
  33. CONTRIBUTING.md
  34. CONTRIBUTORS
  35. LICENSE
  36. PATENTS
  37. README.md
  38. VERSION
README.md

This repository contains developer tools used to install and contribute to Vanadium.

For more information, see the installation and contributing instructions.

This repository is fetched and the tools are built as part of the Vanadium installation process for contributors.