From 23635704c3f9fce7d19eeca018277022c11a7b6b Mon Sep 17 00:00:00 2001 From: Niels Lohmann Date: Thu, 28 Mar 2019 14:23:07 +0100 Subject: [PATCH] :arrow_up: added script to update cpplint --- third_party/cpplint/LICENSE | 0 third_party/cpplint/README.rst | 0 third_party/cpplint/update.sh | 5 +++++ 3 files changed, 5 insertions(+) mode change 100755 => 100644 third_party/cpplint/LICENSE mode change 100755 => 100644 third_party/cpplint/README.rst create mode 100755 third_party/cpplint/update.sh 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