tree c6c08125f4a27b07e14b17c307f9ab2e6a7fe3d2
parent 3a33c01a98d8ed899f5e23ff54e6131a95b18615
author Gilles Peskine <Gilles.Peskine@arm.com> 1538041792 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1538049466 +0200

Remove redundant check in all.sh

test -s can't fail if the subsequent grep succeeds.