diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
commit | 6b649aba925b6f7462da07599fe67ebb12a3460e (patch) | |
tree | 43656bcaa51164548f3fa14e5b10de5ef1088574 /tools/upgrade-v8 |
Imported Upstream version 8.0pl1upstream/8.0pl1
Diffstat (limited to 'tools/upgrade-v8')
-rwxr-xr-x | tools/upgrade-v8 | 22 |
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 |