Gilles Peskine 2bb56095ec Remove redundant check in all.sh
test -s can't fail if the subsequent grep succeeds.
2018-09-27 13:57:46 +02:00
..
2018-09-27 13:57:46 +02:00
2018-08-06 11:42:56 +01:00
2016-01-12 14:48:03 +00:00
2015-08-04 17:46:21 +02:00
2017-05-16 17:53:03 +02:00