diff options
| author | Matthias Fechner <mfechner@FreeBSD.org> | 2019-05-18 10:28:00 +0000 |
|---|---|---|
| committer | Matthias Fechner <mfechner@FreeBSD.org> | 2019-05-18 10:28:00 +0000 |
| commit | 7d3b225247f6ff2567e65dbc7c9c5018932de5d9 (patch) | |
| tree | 0304c4a507f4044e4d3e9ff320856ea8cb10c5e5 /Tools | |
| parent | f1bb9d14019f1cea2125efe8e38d66f14fdfec68 (diff) | |
Notes
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/search_lib_depends_and_bump.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/search_lib_depends_and_bump.sh b/Tools/scripts/search_lib_depends_and_bump.sh index e033e4d17f8e..568ce57bb6d0 100755 --- a/Tools/scripts/search_lib_depends_and_bump.sh +++ b/Tools/scripts/search_lib_depends_and_bump.sh @@ -33,7 +33,7 @@ PORT_TO_SEARCH=${1} BASEDIR=$(pwd) # Get a list of all ports echo "Prepare a list of all ports" -ports=$(find . -name Makefile -path "./editors/*" ! -path "./Tools/* | sort") +ports=$(find . -name Makefile ! -path "./Tools/* | sort") echo "done." echo |