From 6bacbe1e92dceee842e942187b468c8ebb454631 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 1 Mar 2015 00:15:58 +0100 Subject: [PATCH] * src/ltltest/stutter.test: Run time only if present. --- src/ltltest/stutter.test | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/src/ltltest/stutter.test b/src/ltltest/stutter.test index a2b7c144d..b92ab14f7 100755 --- a/src/ltltest/stutter.test +++ b/src/ltltest/stutter.test @@ -1,7 +1,7 @@ #! /bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2013, 2014 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # @@ -27,6 +27,12 @@ set -e randltl=../../bin/randltl ltlfilt=../../bin/ltlfilt +# Use time only if it is available +time= +if (time ls) >/dev/null 2>&1; then + time=time +fi + FILE=formulae rm -f $FILE for i in 10 12 14 16 18 20; do @@ -38,7 +44,7 @@ done for i in 1 2 3 4 5 6 7 8; do SPOT_STUTTER_CHECK=$i export SPOT_STUTTER_CHECK - time $ltlfilt --stutter-invariant -F $FILE > res.$i + $time $ltlfilt --stutter-invariant -F $FILE > res.$i done # All results should be equal