diff options
| -rwxr-xr-x | util/lint/lint-stable-025-description-md | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/util/lint/lint-stable-025-description-md b/util/lint/lint-stable-025-description-md deleted file mode 100755 index 88c3d76c41..0000000000 --- a/util/lint/lint-stable-025-description-md +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh -# SPDX-License-Identifier: GPL-2.0-or-later -# -# DESCR: Check that every utility has a description - -LC_ALL=C export LC_ALL -FAIL=0 - -for i in util/*/; do - if [ ! -r "$i/description.md" ]; then - echo " Failure: util directory $i missing description.md file." - FAIL=1 - fi -done - -exit $FAIL |