/[dejagnu]/dejagnu/configure
ViewVC logotype

Diff of /dejagnu/configure

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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

Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26