Parent Directory | Revision Log | Patch
revision 1.7 by rsavoye, Wed Sep 12 22:31:36 2001 UTC | revision 1.8 by rsavoye, Thu Sep 13 02:34:49 2001 UTC | |
---|---|---|
# | Line 1109 fi | Line 1109 fi |
1109 | ||
1110 | PACKAGE=dejagnu | PACKAGE=dejagnu |
1111 | ||
1112 | VERSION=1.4.1 | VERSION=1.4.2 |
1113 | ||
1114 | if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then | if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then |
1115 | { { echo "$as_me:1115: error: source directory already configured; run \"make distclean\" there first" >&5 | { { echo "$as_me:1115: error: source directory already configured; run \"make distclean\" there first" >&5 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |