1 files changed, 22 insertions, 0 deletions
diff --git a/tools/upgrade-v8 b/tools/upgrade-v8
new file mode 100755
index 00000000..36d0bf8c
--- /dev/null
+++ b/tools/upgrade-v8
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+mv v7 v7.bak
+
+echo ---------------- Saving v7 files into directory v7 ------------------
+vfiles=`find . -name \*.v`
+for i in $vfiles; do
+  if expr $i : 'v7\.bak/.*\.v' > /dev/null ; then continue ; fi
+  if expr $i : 'v7/.*\.v' > /dev/null ; then continue ; fi
+  echo Saving $i into v7/$i
+  j=v7/$i
+  mkdir -p `dirname $j`
+  mv -u -f $i $j
+done
+
+echo ---------------- Upgrading files with v8 syntax ---------------------
+v8files=`find . -name \*.v8`
+for i in $v8files; do
+  j=`dirname $i`/`basename $i .v8`.v
+  echo Upgrading $i
+  mv -u -f $i $j
+done