patch.py: re-add the ability to use an external patch program This is now invoked by default only if ui.patch is set. Otherwise, we use our built-in patch. If that fails because it can't find any valid hunks, we'll fall back to trying the external patch command.

#!/bin/sh

mkdir a
cd a
hg init
echo foo > b
hg add b
hg ci -m "b" -d "1000000 0"

chmod -w .hg/store

cd ..

hg clone a b

chmod +w a/.hg/store # let test clean up

cd b
hg verify