* Makefile.in (check): Depend on `site.exp' and `docheck'.
commitf5f78d7adca172983fe769bc2e9037cdf009c5a3
authorWerner LEMBERG <wl@gnu.org>
Fri, 15 Oct 2004 05:21:55 +0000 (15 05:21 +0000)
committerWerner LEMBERG <wl@gnu.org>
Fri, 15 Oct 2004 05:21:55 +0000 (15 05:21 +0000)
tree617f6a167eccb96441d5e0dff26fb4fb1f55889b
parente11bd091575176ea7d65ab4128c3e5ec1181fa40
* Makefile.in (check): Depend on `site.exp' and `docheck'.
(docheck): Run dejagnu's `runtest' if it exists.
(site.exp): Create dejagnu configuration file.

* Makefile.sub (DISTCLEANFILES): Add files related to dejagnu.
ChangeLog
Makefile.in
Makefile.sub