wok rev 22359

mongodb: modified find command
author Hans-G?nter Theisgen
date Thu Nov 21 08:45:04 2019 +0100 (2019-11-21)
parents 04df91c8ca0b
children 4953c6775507
files mongodb/receipt
line diff
     1.1 --- a/mongodb/receipt	Wed Nov 20 22:54:57 2019 +0100
     1.2 +++ b/mongodb/receipt	Thu Nov 21 08:45:04 2019 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	find $src -name Makefile.in \; | xargs sed -i 's|uname -m|echo i486|'
     1.8 +	find $src -name Makefile.in | xargs sed -i 's|uname -m|echo i486|'
     1.9  	sed -i 's/native_directory_//' db*/*.cpp
    1.10  	sed -i 's/native_file_//' db*/*.cpp shell/shell_utils.cpp
    1.11  	sed -i 's/leaf()/leaf().string()/' */*.cpp