From fadccb263baf6b8694f750623add42f966e423a3 Mon Sep 17 00:00:00 2001 From: MarcoFalke Date: Thu, 17 Oct 2019 10:53:21 -0400 Subject: [PATCH] doc: Document that GNU tools are required for linters --- test/lint/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/lint/README.md b/test/lint/README.md index 15974a35982..f415d619eed 100644 --- a/test/lint/README.md +++ b/test/lint/README.md @@ -7,6 +7,8 @@ Check for missing documentation of command line options. commit-script-check.sh ====================== Verification of [scripted diffs](/doc/developer-notes.md#scripted-diffs). +Scripted diffs are only assumed to run on the latest LTS release of Ubuntu. Running them on other operating systems +might require installing GNU tools, such as GNU sed. git-subtree-check.sh ====================