Re: drivers.sh vs driverdisks.sh

To: Adam Di Carlo <adam@onshore.com>
Cc: debian-boot@lists.debian.org
Subject: Re: drivers.sh vs driverdisks.sh
From: Marcel Harkema <marcel@debian.org>
Date: Thu, 21 Oct 1999 09:40:46 +0200
Message-id: <[🔎] 19991021094045.A9290@picard.cistron.nl>
Mail-followup-to: Adam Di Carlo <adam@onshore.com>, debian-boot@lists.debian.org
In-reply-to: <[🔎] oavh81ve31.fsf@burrito.onshore.com>
References: <[🔎] oavh81ve31.fsf@burrito.onshore.com>

On Wed, Oct 20, 1999 at 06:53:38PM -0400, Adam Di Carlo wrote:

> I think we should remove drivers.sh.  It seems to me that drivers.sh
> is deprecated and the only reason why a target in the top-level
> makefile would use it is if it's an out-of-date target.  (see below)
> 
> Thoughts?

  Correct, or move driverdisks.sh to drivers.sh and remove driverdisks.sh.

Attachment: pgpahp1buRfgM.pgp
Description: PGP signature

Reply to:

Follow-Ups:
- Re: drivers.sh vs driverdisks.sh
  - From: Marcel Harkema <marcel@debian.org>

References:
- drivers.sh vs driverdisks.sh
  - From: Adam Di Carlo <adam@onshore.com>

Prev by Date: Debian Boot Floppies CVS: boot-floppies dhd
Next by Date: Re: drivers.sh vs driverdisks.sh
Previous by thread: Re: drivers.sh vs driverdisks.sh
Next by thread: Re: drivers.sh vs driverdisks.sh
Index(es):
- Date
- Thread