On Sun, Dec 30, 2018 at 18:19:41 -0500, Christos Zoulas wrote: > Modified Files: > src: build.sh > > Log Message: > add build libs (undocumented). Just curious, what is it for? Also build.sh -V NOBINARIES= build already does more or less the same, isn't it? -uwe