diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-19 11:58:53 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-19 12:27:38 +0000 |
| commit | 5ae1fdc475d4476c6371fc5b27880634782549d9 (patch) | |
| tree | d2ab279fdba416e65b6d44b4dad0225ab1ebec63 /reproduce/src/make/Top-Makefile | |
| parent | fc7fd31a178a6094a3289c1e49ea7e7ac409e452 (diff) | |
Gzip's tarball in tar.gz instead of tar.lz
Until now, we were using a customized `tar.lz' tarball for Gzip. But on
systems that don't have GNU Tar, this will cause a problem (non-GNU Tar
doesn't recognize `.tar.lz'). So to keep things simple, we are using the
customized gzip in `tar.gz' format. After the internal build of GNU Tar and
Lzip, the default method of unpacking (`tar xf XXXXX.tar.XX') will work
nicely on all the standard compression algorithms and we don't have to
modify our commands based on the algorithm (nice feature of GNU Tar).
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions