diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-07-03 04:11:31 +0700 |
---|---|---|
committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-07-03 04:49:13 +0700 |
commit | e6ad3a2b2fdcd366be79ec7c8d09b6f2b4efa146 (patch) | |
tree | 37082fa3610ee5b2cead2c29530a85c15dd687ad | |
parent | 2bf20f60edbae50f2b3227c6f20b2370c5df863c (diff) |
lint: ignore symlinks (no newline at end of file)
Change-Id: I6db6ebb51cdfd54e8f9c2c5cc7affef60a7dec32
-rwxr-xr-x | lint/checkpatch/checkpatch_osmo.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lint/checkpatch/checkpatch_osmo.sh b/lint/checkpatch/checkpatch_osmo.sh index 2194caa..a12d0a1 100755 --- a/lint/checkpatch/checkpatch_osmo.sh +++ b/lint/checkpatch/checkpatch_osmo.sh @@ -10,6 +10,8 @@ exclude_paths_common() { echo '--exclude ^debian/changelog$' # Patch files echo '--exclude \.patch$' + # Symlinks (no newline at end of file) + find -type l -printf '--exclude ^%P$\n' } exclude_paths_common_asn1c() { |