100755 blob 4ade0ae3f252dca935789396bcd8dbf01edde88f	build.sh
100755 blob 9e518d59ebfd7bf868651f94a2f691a77a0b9f04	covupload.sh
100755 blob 893336281e84ccea59ea1f68d91a9b9162d578df	distcheck.sh
100755 blob d8f91f66c3baf6ba043d27194ddaa77184c3391a	test.sh