aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorRob Savoye <rob@welcomehome.org>2001-04-12 05:32:15 +0000
committerRob Savoye <rob@welcomehome.org>2001-04-12 05:32:15 +0000
commitad5950c28155a9583b19cff68d3e7546d126c5f2 (patch)
treea6484f9f953cee37af6ad7daf7a196ffb63bde50 /configure
parent67f23aa1c6cbc0d31adfed48dbbf0b140b4bcc12 (diff)
downloaddejagnu-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-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 23337d6..bc33d01 100755
--- a/configure
+++ b/configure
@@ -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; }