]> Savannah Git Hosting - gnulib.git/commitdiff
fstrcmp: Clarification regarding NOTE_ORDERED.
authorBruno Haible <bruno@clisp.org>
Tue, 25 Aug 2020 22:29:28 +0000 (00:29 +0200)
committerBruno Haible <bruno@clisp.org>
Tue, 25 Aug 2020 22:29:28 +0000 (00:29 +0200)
* lib/fstrcmp.c (NOTE_ORDERED): Define to false.

ChangeLog
lib/fstrcmp.c

index 33cea278b5ee4127a43448c08e475eb4099922de..4ffa48fb1cc2c9f01852f41984a3ebfb56c8c5c4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2020-08-25  Bruno Haible  <bruno@clisp.org>
+
+       fstrcmp: Clarification regarding NOTE_ORDERED.
+       * lib/fstrcmp.c (NOTE_ORDERED): Define to false.
+
 2020-08-24  Paul Eggert  <eggert@cs.ucla.edu>
 
        diffseq: new option NOTE_ORDERED
index 1a4fbfdf8de625323aeb7734e224be0496567993..49ce27a6b045c1de254fa6dda04e352e397edb36 100644 (file)
@@ -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().  */