aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorGravatar Matt Weber <matthew.weber@rockwellcollins.com>2017-11-07 15:47:44 -0600
committerGravatar Peter Korsgaard <peter@korsgaard.com>2017-11-08 13:20:02 +0100
commitd7f9f1da6b09a8658e66a46c55b15186921098a9 (patch)
tree52c2b2dc4692082a5bd65738cc1b6912ba35ce37 /docs
parent50b82e8b9512f3ce054655097433b268e92b0cb4 (diff)
downloadbuildroot-d7f9f1da6b09a8658e66a46c55b15186921098a9.tar.gz
buildroot-d7f9f1da6b09a8658e66a46c55b15186921098a9.tar.bz2
Manual: DEVELOPERS file integrity check
Signed-off-by: Matthew Weber <matthew.weber@rockwellcollins.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'docs')
-rw-r--r--docs/manual/developers.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/manual/developers.txt b/docs/manual/developers.txt
index 4e2cd71638..a0a3668dbc 100644
--- a/docs/manual/developers.txt
+++ b/docs/manual/developers.txt
@@ -44,3 +44,5 @@ the +DEVELOPERS+ file for various tasks:
list the ones that are not handled by any developer. The purpose of
this option is to help completing the +DEVELOPERS+ file.
+- When using without any arguments, it validates the integrity of the
+ DEVELOPERS file and will note WARNINGS for items that don't match.