alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

stutter.test: Fix for failure seen on arch linux.

Browse source 
* src/ltltest/stutter.test: Reverse the logic for the test for time, in
case the shell has a builtin version.
This commit is contained in:
Alexandre Duret-Lutz 2015-03-01 10:48:37 +01:00
parent 6bacbe1e92
commit 9454584074
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/ltltest/stutter.test
View file

@ -28,9 +28,11 @@ randltl=../../bin/randltl
ltlfilt=../../bin/ltlfilt ltlfilt=../../bin/ltlfilt
# Use time only if it is available # Use time only if it is available
time= time=time
if (time ls) >/dev/null 2>&1; then if ($time ls) >/dev/null 2>&1; then
time=time :
else
time=
fi fi
FILE=formulae FILE=formulae