GNU bug report logs - #7321
dejagnu support should provide for recheck target

Previous Next

Full log

View this message in rfc822 format

From: Ralf Wildenhues <Ralf.Wildenhues <at> gmx.de>
To: 7321 <at> debbugs.gnu.org
Subject: bug#7321: dejagnu support should provide for recheck target
Date: Tue, 2 Nov 2010 22:46:09 +0100

Severity: wishlist

The recheck feature is useful on a broader scale.  recheck should be
renamed to recheck-TESTS, and the recheck target depend on that.
There should be a recheck-DEJAGNU (also depended on by recheck if
dejagnu is used) that implements similar functionality.

See here for some implementation details:
<http://gcc.gnu.org/ml/gcc-patches/2010-10/msg00825.html>

Cheers,
Ralf

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.