Update patch set 1

Patch Set 1:

I see other projects use "|| cat-testlogs.sh" after make distcheck.

I don't know what does it exactly do, but we may want to include it here too?

Patch-set: 1
Reviewer: Pau Espin Pedrol <1000074@035e6965-6537-41bd-912c-053f3cf69326>
Label: Code-Review=0
This commit is contained in:
Pau Espin Pedrol 2018-02-11 14:19:16 +00:00 committed by Gerrit Code Review
parent 05abf3d4e8
commit a0b006d8ae

Diff Content Not Available