diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2025-09-30 06:15:29 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2025-09-30 06:15:29 +0000 |
| commit | f4036f00d4613e5f578ed603b1b539a6692358c8 (patch) | |
| tree | c05423337ed1113f93a376b3d7ef172e37b67e3a /Tools/scripts | |
| parent | 5f90970e571a0fbd9caee91a04409f5c8ab1f9fe (diff) | |
Diffstat (limited to 'Tools/scripts')
| -rwxr-xr-x | Tools/scripts/git-diff-ports.sh | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/Tools/scripts/git-diff-ports.sh b/Tools/scripts/git-diff-ports.sh index e519ca70b216..f13ed0779064 100755 --- a/Tools/scripts/git-diff-ports.sh +++ b/Tools/scripts/git-diff-ports.sh @@ -16,7 +16,7 @@ export LC_ALL=C for dep in git; do if ! which -s $dep; then echo "error: the '$dep' dependency is missing" - if [ $dep == "git" ]; then + if [ $dep = "git" ]; then echo "... please install the 'git' package" fi exit 1 @@ -27,10 +27,5 @@ done # MAIN git diff HEAD "$@" | - grep "^diff " | - grep -v Mk/ | - grep -v Tools/ | - sed -E 's|diff --git a/||; s| .*||; s|([^/]+/[^/]+).*|\1|' | - grep -v '/Makefile$' | - sort | - uniq + awk -F / '/^diff/ && $2 !~ /[[:upper:]]/ && $3 !~ /^Makefile/ { print $2 "/" $3 }' | + sort -u |
