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 |