diff --git a/AMDiS/other/scripts/changeToRevision/applyChanges4Rev1210 b/AMDiS/other/scripts/changeToRevision/applyChanges4Rev1210 index 7139ac37402ddd509a982e9b23336c12060d1526..e109a617bb06f2b53e75ce878c4b519e08314188 100755 --- a/AMDiS/other/scripts/changeToRevision/applyChanges4Rev1210 +++ b/AMDiS/other/scripts/changeToRevision/applyChanges4Rev1210 @@ -9,10 +9,10 @@ # cp -r src src_beforeRev1210 # -find src -type f | while read file +find src/* -type f | while read file do gawk '{gsub(/FESpace/,"FeSpace",$0);\ gsub(/getRhs/,"getRhs",$0);\ print $0}' < $file > $file.$$ - mv $file.$$ $file + mv -v $file.$$ $file done \ No newline at end of file