From 3ec8a99b246c05aa2511570597faa14c5ca8adde Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 22 Jul 2004 13:53:51 +0000
Subject: [PATCH] * src/ltltest/reduc.test: Use `test a = b' not `test a == b'.
 Reported by <Denis.Poitrenaud@lip6.fr> (failure on Cygwin).

---
 ChangeLog              | 5 +++++
 src/ltltest/reduc.test | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index a8c1c7142..3ebd903eb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-07-22  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/ltltest/reduc.test: Use `test a = b' not `test a == b'.
+	Reported by <Denis.Poitrenaud@lip6.fr> (failure on Cygwin).
+
 2004-07-20  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbatest/defs.in (VALGRIND): Specify --tool=memcheck for
diff --git a/src/ltltest/reduc.test b/src/ltltest/reduc.test
index 48146a65e..858b2337f 100755
--- a/src/ltltest/reduc.test
+++ b/src/ltltest/reduc.test
@@ -36,7 +36,7 @@ for opt in 0 1 2 3; do
     ./reduc $opt "$f" >> result.data
   done
 
-  test $? == 0 || exit 1
+  test $? = 0 || exit 1
 
   perl -ne 'BEGIN { $sum1 = 0; $sum2 = 0; }
 /^(\d+)\s+(\d+)/;