Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorsigned-log <stigpro@outlook.fr>2022-10-03 16:56:35 +0300
committerGitHub <noreply@github.com>2022-10-03 16:56:35 +0300
commit07d7471a498ba32e930f26b6c3653996177f4c4d (patch)
treec23d62885e033fa788f1fc1e541ac2b4ad0ed16a /docs
parent54f13dc2fd436f5dd8f34aeabd29d0699a2f072c (diff)
egrep/fgrep are deprecated and obsolete (#21551)
Grep now prints warning messages when using `egrep` and `fgrep` Replacing with the standard `grep -E` and `grep -F` This change is released under the MIT license. Signed-off-by: Nicolas signed-log FORMICHELLA <stigpro@outlook.fr>
Diffstat (limited to 'docs')
-rw-r--r--docs/produce-lists8
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/produce-lists b/docs/produce-lists
index 297383e516b..5cca0d3211a 100644
--- a/docs/produce-lists
+++ b/docs/produce-lists
@@ -13,12 +13,12 @@ add_h4()
ignore_known()
{
- fgrep -v -f $dir/ignore
+ grep -F -v -f $dir/ignore
}
ignore_hidden ()
{
- fgrep -w -v -f $dir/hidden_methods
+ grep -F -w -v -f $dir/hidden_methods
}
clean_nm ()
@@ -28,7 +28,7 @@ clean_nm ()
ignore_wapi ()
{
- grep -v _wapi | fgrep -v -f $dir/wapi
+ grep -v _wapi | grep -F -v -f $dir/wapi
}
if grep ^$ ignore >/dev/null; then
@@ -41,4 +41,4 @@ fi
objdump -t ../mono/mini/.libs/libmono-2.0.a | grep "\.hidden" | sed 's/.*\.hidden //' > hidden_methods
nm $dir/../mono/io-layer/.libs/*.o | clean_nm | grep -v _wapi | ignore_known | sort > $dir/wapi
-nm $dir/../mono/mini/.libs/libmono-2.0.a | clean_nm | ignore_known | ignore_hidden | ignore_wapi | grep -v ^ves_icall | egrep -v '^(mono_arch_|monoeg)' | sort > $dir/public-api
+nm $dir/../mono/mini/.libs/libmono-2.0.a | clean_nm | ignore_known | ignore_hidden | ignore_wapi | grep -v ^ves_icall | grep -E -v '^(mono_arch_|monoeg)' | sort > $dir/public-api