[Top][All Lists]

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

Problem with

From: Mark Mitchell
Subject: Problem with
Date: Wed, 20 Aug 2003 19:23:58 -0700

In there is:

  ## Flags for DejaGNU.

As far as I can tell, all that does is:

(a) Make for confusion if the sets that variable
    elsewhere, and

(b) Prevent users from setting the value in the environment.

May I check in the obvious patch to remove this?

Mark Mitchell
CodeSourcery, LLC

reply via email to

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