From fadccb263baf6b8694f750623add42f966e423a3 Mon Sep 17 00:00:00 2001 From: MarcoFalke Date: Thu, 17 Oct 2019 10:53:21 -0400 Subject: doc: Document that GNU tools are required for linters --- test/lint/README.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'test/lint') diff --git a/test/lint/README.md b/test/lint/README.md index 15974a3598..f415d619ee 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 ==================== -- cgit v1.2.3