From 613b373ecea9c382ed14cfc091e3f92627de631b Mon Sep 17 00:00:00 2001
From: Peter Verthez <Peter.Verthez@advalvas.be>
Date: Wed, 23 Oct 2002 17:01:38 +0000
Subject: [PATCH] Portability fix: 'if ! diff ...' is not always supported in
 sh.

---
 Makefile.inc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile.inc b/Makefile.inc
index dd724ba..aa01812 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -16,8 +16,10 @@ endef
 	then \
 	  touch $(srcdir)/$@; \
 	fi
-	if ! diff -q $< $(srcdir)/$@ > /dev/null; \
+	if diff $< $(srcdir)/$@ > /dev/null 2>&1; \
 	then \
+	  : ; \
+	else \
 	  rm $(srcdir)/$@; \
 	  cp $(srcdir)/$< $(srcdir)/$@; \
 	fi
-- 
2.30.2