David Van Couvering <[EMAIL PROTECTED]> writes: > (a) Make sure you're using the GNU version of patch > (b) How are you running the patch command?
Assuming you have checked out Derby into /home/you/derby, and have a patch called /home/you/some_patch.diff, you should be able to do cd /home/you/derby gpatch -i ../some_patch.diff -p0 Personally I prefer to start with gpatch --dry-run -i ../some_patch.diff -p0 to check that it (most likely) will work. (It may not be called 'gpatch' on your system) -- dt
