diff options
| author | Magnus Hagander <magnus@hagander.net> | 2021-01-24 14:19:00 +0100 |
|---|---|---|
| committer | Magnus Hagander <magnus@hagander.net> | 2021-01-24 14:19:00 +0100 |
| commit | 8a337b0ed21c654521da137159b8b9327a5cb971 (patch) | |
| tree | a753495db16ec4040f9a9613e1c33cf84c47a24e /src/tools/make_diff/difforig | |
| parent | 7e57255f6189380d545e1df6a6b38827b213e3da (diff) | |
Remove make_diff set of tools
These are mostly obsoleted by the switch to git, and it's easier to
remove them than to update the incorrect documentation.
Discussion: https://postgr.es/m/CABUevEwmASMn4WRJ6RagBx43sj10ctfMHcMA_-7KA3pDYmwpJw@mail.gmail.com
Diffstat (limited to 'src/tools/make_diff/difforig')
| -rwxr-xr-x | src/tools/make_diff/difforig | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/tools/make_diff/difforig b/src/tools/make_diff/difforig deleted file mode 100755 index 08119a42c33..00000000000 --- a/src/tools/make_diff/difforig +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -# src/tools/make_diff/difforig - -if [ "$#" -eq 0 ] -then APATH="." -else APATH="$1" -fi -find $APATH -name '*.orig' -print | sort | while read FILE -do - NEW="`dirname $FILE`/`basename $FILE .orig`" - echo "$NEW" 1>&2 - diff -c $FILE $NEW -done |