[PATCH v2] defaultenv: use a compressed version when embedded in barebox

[Jean-Christophe PLAGNIOL-VILLARD]

On 20:10 Wed 14 Dec     , Eric Bénard wrote:
> Hi,
> 
> Le 14/12/2011 18:47, Jean-Christophe PLAGNIOL-VILLARD a écrit :
> >with using gzip and the default env we can save 5.2KiB (5,352 bytes)
> >
> >tested on sam9g20ek
> >before
> >-rwxr-xr-x  1 root root 265748 Dec 14 00:42 barebox.bin
> >after
> >-rwxr-xr-x  1 root root 260396 Dec 14 00:42 barebox.bin
> >
> what is the consequence on the boottime ?
no difference nearly I've seen the same boot time

I've seen over 10 boots sometime 100ms differences (3 times)

but it manual check and my chrono can not be more preceise than 100ms

I've no scope to be more precise

Best Regards,
J.