diff options
author | Karl Berry <karl@freefriends.org> | 2016-01-16 17:23:11 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-01-16 17:23:11 +0000 |
commit | 8f4c7acd555e6794d4eb43e40c3e960f1078b28d (patch) | |
tree | 8220d4ced86e2f16c3e000609d4695babd3c7387 /Build/source/libs/gmp | |
parent | 2799b66b62910f3c6a13a752a2364038d6d11555 (diff) |
reautoconf, svn:ignore more autom4te.cache
git-svn-id: svn://tug.org/texlive/trunk@39406 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/gmp')
-rwxr-xr-x | Build/source/libs/gmp/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/libs/gmp/configure b/Build/source/libs/gmp/configure index c116f19b9c1..06504a8992d 100755 --- a/Build/source/libs/gmp/configure +++ b/Build/source/libs/gmp/configure @@ -6148,7 +6148,7 @@ else cat confdefs.h - <<_ACEOF >conftest.$ac_ext /* end confdefs.h. */ #include "gmp-tmp.h" -#include "$srcdir/gmp-src/gmp-impl.h" +#include "$srcdir/gmp-6.1.0/gmp-impl.h" int main () { |