blob: 1115593ed64cdc50bd34acbea98d31172814fce8 (
plain)
1
2
3
4
5
6
7
8
9
|
#!/bin/sh
echo Restoring v7 files from directory v7
for i in v7/*.v v7/*/*.v v7/*/*/*.v v7/*/*/*/*.v v7/*/*/*/*/*.v v7/*/*/*/*/*/*.v; do
if expr $i : '.*\*\.v' > /dev/null ; then continue ; fi
j=`echo $i | sed -e "s@^v7/@@"`
echo Restoring $i from v7
cp -f $i $j
done
|
