diff --git a/third_party/cpplint/LICENSE b/third_party/cpplint/LICENSE old mode 100755 new mode 100644 diff --git a/third_party/cpplint/README.rst b/third_party/cpplint/README.rst old mode 100755 new mode 100644 diff --git a/third_party/cpplint/update.sh b/third_party/cpplint/update.sh new file mode 100755 index 00000000..03b6785b --- /dev/null +++ b/third_party/cpplint/update.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +wget -N https://raw.githubusercontent.com/cpplint/cpplint/master/cpplint.py +wget -N https://raw.githubusercontent.com/cpplint/cpplint/master/LICENSE +wget -N https://raw.githubusercontent.com/cpplint/cpplint/master/README.rst