From: Bruno Haible Date: Tue, 25 Aug 2020 22:29:28 +0000 (+0200) Subject: fstrcmp: Clarification regarding NOTE_ORDERED. X-Git-Tag: v1.0~3676 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=2f1017dd0ef438fd12919f858b80b3b9d4fe6d17;p=gnulib.git fstrcmp: Clarification regarding NOTE_ORDERED. * lib/fstrcmp.c (NOTE_ORDERED): Define to false. --- diff --git a/ChangeLog b/ChangeLog index 33cea278b5..4ffa48fb1c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2020-08-25 Bruno Haible + + fstrcmp: Clarification regarding NOTE_ORDERED. + * lib/fstrcmp.c (NOTE_ORDERED): Define to false. + 2020-08-24 Paul Eggert diffseq: new option NOTE_ORDERED diff --git a/lib/fstrcmp.c b/lib/fstrcmp.c index 1a4fbfdf8d..49ce27a6b0 100644 --- a/lib/fstrcmp.c +++ b/lib/fstrcmp.c @@ -46,6 +46,7 @@ ptrdiff_t edit_count; #define NOTE_DELETE(ctxt, xoff) ctxt->edit_count++ #define NOTE_INSERT(ctxt, yoff) ctxt->edit_count++ +#define NOTE_ORDERED false #define EARLY_ABORT(ctxt) ctxt->edit_count > 0 /* We don't need USE_HEURISTIC, since it is unlikely in typical uses of fstrcmp(). */