[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Option no-gzip

From: Alexandre Duret-Lutz
Subject: Re: Option no-gzip
Date: Tue, 30 Jul 2002 11:19:08 +0200
User-agent: Gnus/5.090007 (Oort Gnus v0.07) Emacs/21.2 (i386-debian-linux-gnu)

>>> "Robert" == Robert Collins <address@hidden> writes:

 Robert> On Tue, 2002-07-30 at 19:02, Alexandre Duret-Lutz wrote:
 >> >>> "Robert" == Robert Collins <address@hidden> writes:
 >> [...]
 Robert> Still I don't see how that could be accomplished with Bruce's
 Robert> suggestion of multiple targets.
 >> IMHO ./configure is not a exactly the right interface to make
 >> distribution policy decisions.

 Robert> Oh, I'm easy about *where*.

Sorry.  Here is a possible answer about *how*.

  build distdir
  for f in $DIST_FORMATS; do
    case $f in
      gz)    ...
      bzip2) ...
      zip)   ...
  erase distdir

Alexandre Duret-Lutz

reply via email to

[Prev in Thread] Current Thread [Next in Thread]