From 4d73490a4958e9d497fcab04e5d9ed93e5f5dcf5 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 20 Apr 2004 11:11:40 +0000
Subject: [PATCH] * src/ltltest/defs.in, src/tgbatest/defs.in: Correctly set
 exitcode when valgrind is not used. Reported by Denis Poitrenaud.

---
 ChangeLog            | 4 ++++
 src/ltltest/defs.in  | 4 ++--
 src/tgbatest/defs.in | 2 +-
 3 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 30ac1a064..a91bace2b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2004-04-20  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ltltest/defs.in, src/tgbatest/defs.in: Correctly set exitcode
+	when valgrind is not used.
+	Reported by Denis Poitrenaud.
+
 	* src/tgba/tgba.hh (tgba::succ_iter): Doco.
 	* src/tgba/tgbatba.hh (tgba_tba_proxy::state_is_accepting): Document
 	it.
diff --git a/src/ltltest/defs.in b/src/ltltest/defs.in
index 04b1f4e29..530f0a0e7 100644
--- a/src/ltltest/defs.in
+++ b/src/ltltest/defs.in
@@ -1,5 +1,5 @@
 # -*- shell-script -*-
-# Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+# Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 # département Systèmes Répartis Coopératifs (SRC), Université Pierre
 # et Marie Curie.
 #
@@ -61,7 +61,7 @@ run()
     test -z "`sed 1q valgrind.err`" || exit 50
     rm -f valgrind.err
   else
-    "$@" || exitcode $?
+    "$@" || exitcode=$?
   fi
   test $exitcode = $expected_exitcode || exit 1
 }
diff --git a/src/tgbatest/defs.in b/src/tgbatest/defs.in
index 0ae03df41..73ac3403e 100644
--- a/src/tgbatest/defs.in
+++ b/src/tgbatest/defs.in
@@ -65,7 +65,7 @@ run()
     test -z "`sed 1q valgrind.err`" || exit 50
     rm -f valgrind.err
   else
-    "$@" || exitcode $?
+    "$@" || exitcode=$?
   fi
   test $exitcode = $expected_exitcode || exit 1
 }