shell-script to replace xxx by yyy in all source files

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@788 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 10 insertions, 0 deletions

diff --git a/replace_all b/replace_all
new file mode 100755
index 000000000..42116f42b
--- /dev/null
+++ b/replace_all
@@ -0,0 +1,10 @@
+#!/bin/csh
+foreach f (*.c mpfr.h mpfr-impl.h mpfr.texi)
+   sed "s/$1/$2/g" $f > /tmp/$f
+   mv /tmp/$f $f
+end
+cd tests
+foreach f (*.c)
+   sed "s/$1/$2/g" $f > /tmp/$f
+   mv /tmp/$f $f
+end