#!/bin/bash
# Create a patch between old and new valgrind revision.
# Usage:
#   ./mk_patch.sh VG_OLD_REV VEX_OLD_REV VG_NEW_REV VEX_NEW_REV
VG_OLD_REV=$1
VEX_OLD_REV=$2
VG_NEW_REV=$3
VEX_NEW_REV=$4

VG_SVN=svn://svn.valgrind.org/valgrind/trunk
VEX_SVN=svn://svn.valgrind.org/vex/trunk

vg_patch_name=vg-r$VG_OLD_REV-r$VG_NEW_REV.patch
echo creating $vg_patch_name
svn diff $VG_SVN@$VG_OLD_REV  $VG_SVN@$VG_NEW_REV > $vg_patch_name

vex_patch_name=vex-r$VEX_OLD_REV-r$VEX_NEW_REV.patch
echo creating $vex_patch_name
svn diff $VEX_SVN@$VEX_OLD_REV $VEX_SVN@$VEX_NEW_REV > $vex_patch_name