diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-17 13:40:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-17 13:40:15 +0100 |
| commit | ab4f5c0668d2c90055f66f9fde98b4deecb19128 (patch) | |
| tree | ba9044d6ec89164cc74116b578358798ec0ea50c /misc/scripts | |
| parent | fa24c99a5c0454586313958a04375ab63ac7d544 (diff) | |
| parent | a10c259c1d89fbce2d0e05ac60ac5c78d431c070 (diff) | |
Merge pull request #46117 from akien-mga/dynamic-load-libudev
Dynamically load libudev.so.1 on Linux
Diffstat (limited to 'misc/scripts')
| -rwxr-xr-x | misc/scripts/file_format.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/scripts/file_format.sh b/misc/scripts/file_format.sh index 813c7d9f35..795431cd28 100755 --- a/misc/scripts/file_format.sh +++ b/misc/scripts/file_format.sh @@ -30,6 +30,8 @@ while IFS= read -rd '' f; do continue elif [[ "$f" == "platform/android/java/lib/src/com/google"* ]]; then continue + elif [[ "$f" == *"-so_wrap."* ]]; then + continue fi # Ensure that files are UTF-8 formatted. recode UTF-8 "$f" 2> /dev/null |