From 3ef7797ef6fc605dfafb32523261fe1b023aeecb Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 28 Apr 2006 14:59:16 +0000
Subject: Imported Upstream version 8.0pl3+8.1alpha

---
 tools/upgrade-v8 | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100755 tools/upgrade-v8

(limited to 'tools/upgrade-v8')

diff --git a/tools/upgrade-v8 b/tools/upgrade-v8
deleted file mode 100755
index 36d0bf8c..00000000
--- a/tools/upgrade-v8
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/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
-- 
cgit v1.2.3