diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2017-07-15 22:24:43 +0200 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2017-07-15 22:38:46 +0200 |
commit | 3126fa4c6b69c043e20af9381563069c0f2a0ba0 (patch) | |
tree | 4827c6813a69f3b12da3a00cd0739849fb028094 /THANKS | |
parent | fd244f28f5637e13009f75b6962d03401b22149c (diff) | |
download | automake-3126fa4c6b69c043e20af9381563069c0f2a0ba0.tar.gz |
dejagnu: Allow AM_RUNTESTFLAGS to override default RUNTEST arguments
This fixes bug#25335.
* lib/am/dejagnu.am (check-DEJAGNU): Swap $(RUNTESTDEFAULTFLAGS) and
$(AM_RUNTESTFLAGS).
* THANKS: Update.
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -60,6 +60,7 @@ Brian Gough bjg@network-theory.co.uk Brian Jones cbj@nortel.net Bruce Korb bkorb@gnu.org Bruno Haible haible@ilog.fr +Carnë Draug carandraug+dev@gmail.com Carsten Lohrke carlo@gentoo.org Charles Wilson cwilson@ece.gatech.edu Chris Hoogendyk hoogendyk@bio.umass.edu |