diff options
author | Rob Savoye <rob@welcomehome.org> | 2001-04-12 05:32:15 +0000 |
---|---|---|
committer | Rob Savoye <rob@welcomehome.org> | 2001-04-12 05:32:15 +0000 |
commit | ad5950c28155a9583b19cff68d3e7546d126c5f2 (patch) | |
tree | a6484f9f953cee37af6ad7daf7a196ffb63bde50 /configure | |
parent | 67f23aa1c6cbc0d31adfed48dbbf0b140b4bcc12 (diff) | |
download | dejagnu-ad5950c28155a9583b19cff68d3e7546d126c5f2.zip dejagnu-ad5950c28155a9583b19cff68d3e7546d126c5f2.tar.gz dejagnu-ad5950c28155a9583b19cff68d3e7546d126c5f2.tar.bz2 |
* Clean.tcl: Add -r to rm, so it gets rid of CVS directories.
* .clean: Don't install the debian or redhat packaging directories.
* Makefle.am: Install dejagnu.h. Fix dist2 target, so we build our
own tarballs, instead of letting automake do it for us.
* examples/cala/Makefile.am: Use noist_PROGRAMS, so calc doesn't
get installed.
* doc/Makefile.am: Install the man page for runtest.
* configure.in: Make VERSION 1.4.0, not just 1.4, so distributions
get built right.
* lib/dejagnu.exp: Test driver for embedded DejaGnu API.
* dejagnu.h: Embedded DejaGnu API main header file.
* config/default.exp: Default tool init file for simple test
suites.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -700,7 +700,7 @@ fi PACKAGE=dejagnu -VERSION=1.4 +VERSION=1.4.0 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; } |