Commit 43cd9426 authored by Backofen, Rainer's avatar Backofen, Rainer
Browse files

use only files in src

parent b0a2bb7e
...@@ -9,10 +9,10 @@ ...@@ -9,10 +9,10 @@
# #
cp -r src src_beforeRev1210 cp -r src src_beforeRev1210
# #
find src -type f | while read file find src/* -type f | while read file
do do
gawk '{gsub(/FESpace/,"FeSpace",$0);\ gawk '{gsub(/FESpace/,"FeSpace",$0);\
gsub(/getRhs/,"getRhs",$0);\ gsub(/getRhs/,"getRhs",$0);\
print $0}' < $file > $file.$$ print $0}' < $file > $file.$$
mv $file.$$ $file mv -v $file.$$ $file
done done
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment