version 1.121, 2015/06/04 19:28:21
|
version 1.122, 2015/06/05 16:01:01
|
Line 463 if test ! -d "$srcdir"/tools/$NCURSES; t
|
Line 463 if test ! -d "$srcdir"/tools/$NCURSES; t
|
do echo Applying patch $i && \ |
do echo Applying patch $i && \ |
if test $i = "../ncurses-5.9-20140607.patch.gz" ; then \ |
if test $i = "../ncurses-5.9-20140607.patch.gz" ; then \ |
rm -f Ada95/src/library.gpr; \ |
rm -f Ada95/src/library.gpr; \ |
|
elif test $i = "../ncurses-5.9-20150516.patch.gz"; then \ |
|
rm -f doc/html/man/adacurses-config.1.html; |
fi && \ |
fi && \ |
gunzip -c $i | patch -p1; |
gunzip -c $i | patch -p1; |
done); |
done); |