1 files changed, 18 insertions, 0 deletions
diff --git a/volk/libvector_replace.sh b/volk/libvector_replace.sh
new file mode 100755
index 000000000..4c7e33e1b
--- /dev/null
+++ b/volk/libvector_replace.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+cd $1
+files=`ls`
+for file in $files 
+do 
+    sed 's/libvector/volk/g' < $file > tempfile
+    sed 's/LIBVECTOR/VOLK/g' < tempfile > $file
+done
+for file in $files
+do
+    echo $file > tempfile
+    newfile=`sed 's/libvector/volk/g' < tempfile`
+    if (test "$file" != "$newfile"); then
+	mv $file $newfile
+	echo "changed $file to $newfile"
+    fi
+done