1#!/bin/sh
2BINDIR=$1
3shift
4
5for p in $*; do
6 p2=`basename $p`
7 if [ -f $BINDIR/$p2.old ]; then
8   echo Restoring $BINDIR/$p2.old
9   mv $BINDIR/$p2 $BINDIR/$p2.new
10   mv $BINDIR/$p2.old $BINDIR/$p2
11   rm -f $BINDIR/$p2.new
12 else
13   echo Not restoring $p
14 fi
15done
16
17exit 0
18
19