build broke this morning; turns out webpublish now runs remote ssh with umask 077
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 8 Jan 2019 14:03:48 +0000 (15:03 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 8 Jan 2019 14:03:48 +0000 (15:03 +0100)
commitff2ed8d2e74087c512909fe2eb06ea76ce1b258b
tree7c07198d356f2cf66d9ca94ad5ab9cf4f75e18ad
parenta812820d19b31a5719a3b30e7ba4dac5f8d7170c
build broke this morning; turns out webpublish now runs remote ssh with umask 077
this move is only about cleaning up webpublish a bit
lbuild-nightly.sh