blob: 59e86bf9bca8a6bb9d23ca64f5c11fb147d9eb47 [file] [log] [blame]
# /bin/bash
if [ "$2" != "" ] ; then
if [ -e $2 ]; then
echo "$2 exists, copy aborted"
exit 1
fi
mkdir -p TestCases/$2
for FILE in TestCases/$1/*; do
FILE2=`echo $FILE | sed -e "s/$1/$2/"`
echo $FILE2
sed -e "s/$1/$2/g" $FILE > $FILE2
done
else
echo 'Usage: copy <Source TestCase> <Target TestCase>'
fi
exit 0