Interdiff: diff --git a/devel/build_chroot b/devel/build_chroot index 5591860..a37b00e 100755 --- a/devel/build_chroot +++ b/devel/build_chroot @@ -27,6 +27,8 @@ GHC_VERSION="7.6.3" CABAL_INSTALL_VERSION="1.18.0.2"
# Use gzip --rsyncable if available, to speed up transfers of generated files +# The environment variable GZIP is read automatically by 'gzip', +# see ENVIRONMENT in gzip(1). gzip --rsyncable </dev/null >/dev/null 2>&1 && export GZIP="--rsyncable" #Runnability checks On Wed, Mar 5, 2014 at 11:01 AM, Klaus Aehlig <[email protected]> wrote: > On Wed, Mar 05, 2014 at 10:35:06AM +0100, Petr Pudlak wrote: > > This speeds down transferring them to buildbots, at a negligible size > > cost. > > > > Signed-off-by: Petr Pudlak <[email protected]> > > --- > > devel/build_chroot | 3 +++ > > 1 file changed, 3 insertions(+) > > LGTM. Thanks. > > (Maybe add a hint to the ENVIRONMENT section in the gzip(1) man page.) > > -- > Klaus Aehlig > Google Germany GmbH, Dienerstr. 12, 80331 Muenchen > Registergericht und -nummer: Hamburg, HRB 86891 > Sitz der Gesellschaft: Hamburg > Geschaeftsfuehrer: Graham Law, Christine Elizabeth Flores >
