rpl/configure.ac - diff

Return to configure.ac CVS log

Up to [local] / rpl

version 1.97, 2014/06/24 08:42:13	version 1.98, 2014/06/24 09:13:53
Line 451 if test ! -d "$srcdir"/tools/$NCURSES; t	Line 451 if test ! -d "$srcdir"/tools/$NCURSES; t
do echo Applying script $i && chmod 775 $i && ./$i;	do echo Applying script $i && chmod 775 $i && ./$i;
done;	done;
for i in ../$NCURSES*.patch.gz;	for i in ../$NCURSES*.patch.gz;
do echo Applying patch $i && gunzip -c $i \| patch -p1;	do echo Applying patch $i && \
	if test $i = "../ncurses-5.9-20140607.patch.gz" ; then \
	rm -f Ada95/src/library.gpr; \
	fi && \
	gunzip -c $i \| patch -p1;
done);	done);
fi	fi
if test ! -d "$srcdir"/tools/$READLINE; then	if test ! -d "$srcdir"/tools/$READLINE; then