mirror of
https://https.git.savannah.gnu.org/git/patch.git
synced 2026-01-27 09:54:55 +00:00
Revert "Remove obsolete require_gnu_diff function"
Oops, function require_gnu_diff is still needed in two places. This reverts commit 8cae4fc2213649e36e8f9a4cf21c28a82de3705c.
This commit is contained in:
parent
8cae4fc221
commit
ee3cc4016d
@ -5,6 +5,18 @@
|
||||
# in any medium, are permitted without royalty provided the copyright
|
||||
# notice and this notice are preserved.
|
||||
|
||||
# FIXME: Requires a version of diff that understands "-u".
|
||||
|
||||
require_gnu_diff() {
|
||||
case "`diff --version 2> /dev/null`" in
|
||||
*GNU*)
|
||||
;;
|
||||
*)
|
||||
echo "This test requires GNU diff" >&2
|
||||
exit 77
|
||||
esac
|
||||
}
|
||||
|
||||
require() {
|
||||
utility="$1"
|
||||
if type require_${utility} > /dev/null 2> /dev/null; then
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user