X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=topbloke-merge-driver;h=1c0017f2d42ddb1dbce74dc7e09a887a0c55c792;hb=HEAD;hp=a3d199920bac4a2e952859b9562886aac5a94338;hpb=fd8435b698b2a41df6227d4d7e83cfd0eccbe03d;p=topbloke.git diff --git a/topbloke-merge-driver b/topbloke-merge-driver index a3d1999..1c0017f 100755 --- a/topbloke-merge-driver +++ b/topbloke-merge-driver @@ -1,6 +1,8 @@ #!/bin/sh set -e +xxx new theory, new metadata, not yet done here + fail () { echo >&2 "$0: $*"; exit 127; } case "$1" in