| 12345678910111213 |
- $OpenBSD: patch-Pl2Wam_check_boot,v 1.2 2017/06/08 15:25:57 espie Exp $
- Index: Pl2Wam/check_boot
- --- Pl2Wam/check_boot.orig
- +++ Pl2Wam/check_boot
- @@ -1,6 +1,6 @@
- #!/bin/sh
- do_diff() {
- - diff --ignore-space-change -I '^%' -I '^file_name[(]' $1 $2 || \
- + gdiff --ignore-space-change -I '^%' -I '^file_name[(]' $1 $2 || \
- ( echo "difference encountered: $1 <> $2"; exit 1 )
- }
-
|
