From 9454584074789ade07857ad7ce765f5b3c4af490 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 1 Mar 2015 10:48:37 +0100
Subject: [PATCH] stutter.test: Fix for failure seen on arch linux.

* src/ltltest/stutter.test: Reverse the logic for the test for time, in
case the shell has a builtin version.
---
 src/ltltest/stutter.test | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/ltltest/stutter.test b/src/ltltest/stutter.test
index b92ab14f7..327eccc73 100755
--- a/src/ltltest/stutter.test
+++ b/src/ltltest/stutter.test
@@ -28,9 +28,11 @@ randltl=../../bin/randltl
 ltlfilt=../../bin/ltlfilt
 
 # Use time only if it is available
-time=
-if (time ls) >/dev/null 2>&1; then
-    time=time
+time=time
+if ($time ls) >/dev/null 2>&1; then
+    :
+else
+    time=
 fi
 
 FILE=formulae