diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tests/dejagnu/Makefile.in | 11 | ||||
| -rw-r--r-- | src/tests/dejagnu/configure.in | 1 |
2 files changed, 10 insertions, 2 deletions
diff --git a/src/tests/dejagnu/Makefile.in b/src/tests/dejagnu/Makefile.in index f62849840e..9ca7aa4843 100644 --- a/src/tests/dejagnu/Makefile.in +++ b/src/tests/dejagnu/Makefile.in @@ -1,5 +1,12 @@ -RUNTEST = runtest +RUNTEST = @RUNTEST@ RUNTESTFLAGS = -check:: +all install:: + +check:: check-$(RUNTEST) + +check-:: + @echo "Dejagnu is not installed on this system. No tests run." + +check-runtest:: $(RUNTEST) --tool krb --srcdir $(srcdir) $(RUNTESTFLAGS) diff --git a/src/tests/dejagnu/configure.in b/src/tests/dejagnu/configure.in index 041a42dd0d..b1175f95dd 100644 --- a/src/tests/dejagnu/configure.in +++ b/src/tests/dejagnu/configure.in @@ -5,6 +5,7 @@ AC_CONFIG_FRAGMENTS(.. ../.. ../../.. ../../../.. ../../../../.. ../../../../../ AC_SUBST(BUILDTOP) BUILDTOP=[$]ac_reltopdir AC_PROG_INSTALL +AC_CHECK_PROG(RUNTEST,runtest,runtest) WITH_NETLIB KRB_INCLUDE WITH_KRB5ROOT |