Hi,
I'm new to this mailing list so I don't know whether to
following has been discussed before (At least I couldn't
find anything on the mailing list).
During a "make dist" the command "$(TAR) chozf" is executed.
Unfortunately, the "z" option (which causes tar to execute
gzip) is GNU tar specific while the command "tar" is not. As
a result, I will get make errors (because of the unknown
option) unless the location of GNU tar in my PATH occurs
_before_ any other locations of non-GNU tars.
Wouldn't it be a better idea to pipe the output of (any) tar
to gzip:
$(TAR) chof - $(distdir) | $(GZIP) -c > $(distdir).tar.gz
or even perform tarring and zipping in two consequent steps:
$(TAR) chof $(distdir).tar
$(GZIP) $(distdir).tar
Any comments on this would be appreciated.
Best regards,
Merijn de Jonge
--
Merijn de Jonge email: [EMAIL PROTECTED]
tel: (+31) 20 592 6051 www:
http://www.cwi.nl/~mdejonge/
