diff options
Diffstat (limited to 'gnu/gnat-gpl/PRE_BUILD')
-rwxr-xr-x | gnu/gnat-gpl/PRE_BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/gnat-gpl/PRE_BUILD b/gnu/gnat-gpl/PRE_BUILD index fbdc435a5a..05e69576c7 100755 --- a/gnu/gnat-gpl/PRE_BUILD +++ b/gnu/gnat-gpl/PRE_BUILD @@ -7,6 +7,6 @@ sed -i 's@\./fixinc\.sh@-c true@' gcc/Makefile.in && unpack_file && rm -rf ${SOURCE_DIRECTORY}/src/gcc/ada && mv ${SOURCE_DIRECTORY}/src/${SPELL}-${VERSION}-src/src/ada ${SOURCE_DIRECTORY}/src/gcc/ && -patch -p0 < ${SOURCE_DIRECTORY}/src/${SPELL}-${VERSION}-src/src/gcc-43.dif && +patch -p0 < ${SOURCE_DIRECTORY}/src/${SPELL}-${VERSION}-src/src/gcc-45.dif && cd ${SOURCE_DIRECTORY} && mkdir build |