From c5c86a2b1b4128e1f650e6614a8da11d97df4125 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fredrik=20H=C3=BCbinette=20=28Hubbe=29?= <hubbe@hubbe.net>
Date: Wed, 15 Nov 1995 11:06:45 +0100
Subject: [PATCH] now doesn't use MEMMOVE with CHECKER

Rev: src/machine.h.in:1.3
---
 src/machine.h.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/machine.h.in b/src/machine.h.in
index 3a4ff9be1f..975dc6bda9 100644
--- a/src/machine.h.in
+++ b/src/machine.h.in
@@ -177,7 +177,9 @@
 #undef HAVE_MEMCPY
 
 /* Define if you have memmove.  */
+#ifndef __CHECKER__
 #undef HAVE_MEMMOVE
+#endif
 
 /* Define if you have memmem.  */
 #undef HAVE_MEMMEM
@@ -206,7 +208,7 @@
 /* Define if you have sigvec */
 #undef HAVE_SIGVEC
 
-/* Define if you have sigvec */
+/* Define if your signals are one-shot */
 #undef SIGNAL_ONESHOT
 
 /* Define if you have setrlimit */
-- 
GitLab