diff options
author | Thomas Haller <thaller@redhat.com> | 2020-11-01 18:28:37 +0100 |
---|---|---|
committer | Thomas Haller <thaller@redhat.com> | 2020-11-03 15:41:39 +0100 |
commit | 62411390e2c8ed48f8c79c5df704f84bc276d0c4 (patch) | |
tree | 9707ee3774a86c7df8ff1a24b3f917ef8dbe643f /tools | |
parent | 82ebd73bec83210a36a4c7cd77d027511650887a (diff) | |
download | NetworkManager-62411390e2c8ed48f8c79c5df704f84bc276d0c4.tar.gz |
build: rename "tools/check-settings-docs.sh" to "check-compare-generated.sh"
It's a better name, because the script merely compiles files and
is not specific to "settings-docs.h".
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/check-compare-generated.sh (renamed from tools/check-settings-docs.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/check-settings-docs.sh b/tools/check-compare-generated.sh index 44b70f95c6..44b70f95c6 100755 --- a/tools/check-settings-docs.sh +++ b/tools/check-compare-generated.sh |