no need to exclude check-initscripts anymore - big cleanup
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 28 May 2018 08:19:15 +0000 (10:19 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 28 May 2018 08:19:15 +0000 (10:19 +0200)
commit946cadd484165e95a2ce1825ddb1fe265211d60d
tree7a63d1acd572ef646bc3fc1cfbd146506c07996b
parent2e89a8ef95b41ee5be4f41fc5437570ac6d512a3
no need to exclude check-initscripts anymore - big cleanup
scripts/builds.sh