ar71xx: remove an unused header file
[openwrt.git] / tools / ipkg-utils / patches / 160-find.patch
1 --- a/ipkg-build
2 +++ b/ipkg-build
3 @@ -10,7 +10,8 @@
4 set -e
5
6 version=1.0
7 -
8 +FIND="$(which find)"
9 +FIND="${FIND:-$(which gfind)}"
10 TAR="${TAR:-$(which tar)}"
11
12 ipkg_extract_value() {
13 @@ -49,7 +50,7 @@ pkg_appears_sane() {
14
15 PKG_ERROR=0
16
17 - cvs_dirs=`find . -name 'CVS'`
18 + cvs_dirs=`$FIND . -name 'CVS'`
19 if [ -n "$cvs_dirs" ]; then
20 if [ "$noclean" = "1" ]; then
21 echo "*** Warning: The following CVS directories where found.
22 @@ -62,7 +63,7 @@ You probably want to remove them: " >&2
23 fi
24 fi
25
26 - tilde_files=`find . -name '*~'`
27 + tilde_files=`$FIND . -name '*~'`
28 if [ -n "$tilde_files" ]; then
29 if [ "$noclean" = "1" ]; then
30 echo "*** Warning: The following files have names ending in '~'.
31 @@ -75,7 +76,7 @@ You probably want to remove them: " >&2
32 fi
33 fi
34
35 - large_uid_files=`find . -uid +99 || true`
36 + large_uid_files=`$FIND . -uid +99 || true`
37
38 if [ "$ogargs" = "" ] && [ -n "$large_uid_files" ]; then
39 echo "*** Warning: The following files have a UID greater than 99.
This page took 0.040052 seconds and 5 git commands to generate.