summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
author Igor Murashkin <iam@google.com> 2017-11-14 14:52:08 -0800
committer Igor Murashkin <iam@google.com> 2017-11-15 15:21:45 -0800
commit67481c8fca374f8eef656bec47987d9c744107e8 (patch)
tree29bdd7ca5cd748e05063ebb20b4b0de305603cba
parentdf027e670b4f1573ac4f6f944bd970076c9d2933 (diff)
manifest: add cpplint (google-styleguide), update repohooks toolpath
Bug: 68951293 Change-Id: I76ee129f19dbfbda4ea9abadcb2e280c107aefab
-rw-r--r--GLOBAL-PREUPLOAD.cfg1
-rw-r--r--default.xml1
2 files changed, 2 insertions, 0 deletions
diff --git a/GLOBAL-PREUPLOAD.cfg b/GLOBAL-PREUPLOAD.cfg
index c630482..b98a673 100644
--- a/GLOBAL-PREUPLOAD.cfg
+++ b/GLOBAL-PREUPLOAD.cfg
@@ -14,3 +14,4 @@ git-clang-format = ${REPO_ROOT}/prebuilts/clang/host/${BUILD_OS}/clang-stable/bi
gofmt = ${REPO_ROOT}/prebuilts/go/${BUILD_OS}/bin/gofmt
google-java-format = ${REPO_ROOT}/prebuilts/tools/common/google-java-format/google-java-format
google-java-format-diff = ${REPO_ROOT}/prebuilts/tools/common/google-java-format/google-java-format-diff.py
+cpplint = ${REPO_ROOT}/external/google-styleguide/cpplint/cpplint.py
diff --git a/default.xml b/default.xml
index 0148a86..f1e2367 100644
--- a/default.xml
+++ b/default.xml
@@ -162,6 +162,7 @@
<project path="external/google-fonts/coming-soon" name="platform/external/google-fonts/coming-soon" groups="pdk" />
<project path="external/google-fonts/cutive-mono" name="platform/external/google-fonts/cutive-mono" groups="pdk" />
<project path="external/google-fonts/dancing-script" name="platform/external/google-fonts/dancing-script" groups="pdk" />
+ <project path="external/google-styleguide" name="platform/external/google-styleguide" groups="pdk" />
<project path="external/google-tv-pairing-protocol" name="platform/external/google-tv-pairing-protocol" groups="pdk" />
<project path="external/googletest" name="platform/external/googletest" groups="pdk" />
<project path="external/gptfdisk" name="platform/external/gptfdisk" groups="pdk" />