diff options
Diffstat (limited to 'newlib/libm/machine')
| -rw-r--r-- | newlib/libm/machine/aclocal.m4 | 2 | ||||
| -rwxr-xr-x | newlib/libm/machine/configure | 2 | ||||
| -rw-r--r-- | newlib/libm/machine/i386/aclocal.m4 | 2 | ||||
| -rwxr-xr-x | newlib/libm/machine/i386/configure | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/newlib/libm/machine/aclocal.m4 b/newlib/libm/machine/aclocal.m4 index 97658e2e6..c0a206827 100644 --- a/newlib/libm/machine/aclocal.m4 +++ b/newlib/libm/machine/aclocal.m4 @@ -117,7 +117,7 @@ AC_SUBST(newlib_basedir) AC_CANONICAL_SYSTEM -AM_INIT_AUTOMAKE(newlib, 1.12.0) +AM_INIT_AUTOMAKE(newlib, 1.13.0) # FIXME: We temporarily define our own version of AC_PROG_CC. This is # copied from autoconf 2.12, but does not call AC_PROG_CC_WORKS. We diff --git a/newlib/libm/machine/configure b/newlib/libm/machine/configure index aae61be39..7d0deb5ed 100755 --- a/newlib/libm/machine/configure +++ b/newlib/libm/machine/configure @@ -1009,7 +1009,7 @@ test "$host_alias" != "$target_alias" && PACKAGE=newlib -VERSION=1.12.0 +VERSION=1.13.0 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; } diff --git a/newlib/libm/machine/i386/aclocal.m4 b/newlib/libm/machine/i386/aclocal.m4 index 97658e2e6..c0a206827 100644 --- a/newlib/libm/machine/i386/aclocal.m4 +++ b/newlib/libm/machine/i386/aclocal.m4 @@ -117,7 +117,7 @@ AC_SUBST(newlib_basedir) AC_CANONICAL_SYSTEM -AM_INIT_AUTOMAKE(newlib, 1.12.0) +AM_INIT_AUTOMAKE(newlib, 1.13.0) # FIXME: We temporarily define our own version of AC_PROG_CC. This is # copied from autoconf 2.12, but does not call AC_PROG_CC_WORKS. We diff --git a/newlib/libm/machine/i386/configure b/newlib/libm/machine/i386/configure index f4bc70b9a..806c49298 100755 --- a/newlib/libm/machine/i386/configure +++ b/newlib/libm/machine/i386/configure @@ -1009,7 +1009,7 @@ test "$host_alias" != "$target_alias" && PACKAGE=newlib -VERSION=1.12.0 +VERSION=1.13.0 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; } |