diff options
| author | Tom Tromey <tromey@redhat.com> | 1997-08-02 20:12:00 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@redhat.com> | 1997-08-02 20:12:00 +0000 |
| commit | 6369f5627f3e2771d678d98351432b6ae86198e0 (patch) | |
| tree | 264d88aeee1c83be98ba84fd27fa31f964ca79cb /lib | |
| parent | 4875906808f18a9c642797f62e8b3316a30a4f04 (diff) | |
| download | automake-6369f5627f3e2771d678d98351432b6ae86198e0.tar.gz | |
use RUNTESTDEFAULTFLAGS
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/am/dejagnu.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/am/dejagnu.am b/lib/am/dejagnu.am index f8a7ad687..fbe094356 100644 --- a/lib/am/dejagnu.am +++ b/lib/am/dejagnu.am @@ -1,5 +1,5 @@ ## automake - create Makefile.in from Makefile.am -## Copyright (C) 1994, 1995, 1996 Free Software Foundation, Inc. +## Copyright (C) 1994, 1995, 1996, 1997 Free Software Foundation, Inc. ## This program is free software; you can redistribute it and/or modify ## it under the terms of the GNU General Public License as published by @@ -22,6 +22,9 @@ RUNTESTFLAGS = ## Name of tool to use. Default is the same as the package. DEJATOOL = $(PACKAGE) +## Default flags to pass to dejagnu. The user can override this. +RUNTESTDEFAULTFLAGS = --tool $(DEJATOOL) --srcdir $$srcdir + check-DEJAGNU: site.exp ## Life is easiest with an absolute srcdir, so do that. srcdir=`cd $(srcdir) && pwd`; export srcdir; \ @@ -36,6 +39,6 @@ CYGNUS fi; \ ## If runtest can't be found, print a warning but don't die. It is ## pointless to cause a failure if the tests cannot be run at all. if $(SHELL) -c "$$runtest --version" > /dev/null 2>&1; then \ - $$runtest --tool $(DEJATOOL) --srcdir $$srcdir $(RUNTESTFLAGS); \ + $$runtest $(RUNTESTDEFAULTFLAGS) $(RUNTESTFLAGS); \ else echo "WARNING: could not find \`runtest'" 1>&2; :;\ fi |